Canonical Equational Proofs Progress in Theoretical Computer Science Autor Bachmair iun 1991 Paperback Preț: 369.05 lei 43-57 zile