A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
2 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| An introduction to mathematical logic and type theory: to truth through proof | Peter B. Andrews | M. Yasuhara | The Journal of Symbolic Logic | 1988 |
| An introduction to mathematical logic and type theory: to truth through proof | Peter B. Andrews | M. Yasuhara | The Journal of Symbolic Logic | 1988 |