Symbolic Rewriting Techniques - Manuel Bronstein - Häftad | Bokus