|
| Login | Sign up | My Wish List |
![]() | Canonical Equational Proofs (Progress in Theoretical Computer Science) by Leo Bachmair ISBN-10: 9780817635558 ISBN-10: 0-8176-3555-6 ISBN-13: 9780817635558 ISBN-13: 978-0-8176-3555-8 Hardcover 1991-07 Birkhauser Find Lowest Price |