Canonical Equational Proofs Progress in Theoretical Computer Science Autor Bachmair iun 1991 Paperback Preț: 379.86 lei 6-8 săpt.