A comprehensive index of philosophy book reviews
2 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Canonical Equational Proofs | Leo Bachmair | John Pedersen | The Philosophical Quarterly | 1992-07-01 |
| Canonical equational proofs. Progress in theoretical computer science | Leo Bachmair | John Pedersen | The Journal of Symbolic Logic | 1992 |