A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
52 results · page 2 of 2
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems | P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics | J. A. Robinson | The Journal of Symbolic Logic | 1967 |
| Hao Wang. Mechanical mathematics and inferential analysis. Computer programming and formal systems | P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics | David C. Cooper | The Journal of Symbolic Logic | 1967 |