Canonical Equational Proofs (Progress in Theoretical Computer Science) von Bachmair | ISBN 9780817635473
Buch

Canonical Equational Proofs (Progress in Theoretical Computer Science)