Books.md @master — view markup · raw · history · blame
Equational Logic Books
Equational Logic as a Programming Language
- authors: Michael J. O'Donnell
- date: 1985
- borrow @ archive.org
- online @ archive.org
.
Canonical Equational Proofs
- authors: Leo Bachmair
- date: 1991
- borrow @ archive.org
.