Reihe Progress in Theoretical Computer ScienceBachmair × Canonical Equational Proofs BachmairBirkhäuser BostoneBook201353,49 € Canonical Equational Proofs BachmairBirkhäuser BostonSoftcover199153,49 €
