A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
7 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Language, Logic and Formalization of Knowledge | B McGuinness | Achille C Varzi | Studia Logica | 2000-12-01 |
| Proof, Logic and Formalization | Michael Detlefsen | Brendan Larvor | International Journal of Philosophical Studies | 1994-03-01 |
| Proof, Logic and Formalization | Michael Detlefsen | Gerhard Heinzmann | History and Philosophy of Logic | 1994-01-01 |
| Logic and Formalization | Michael Detlefsen | Michael Potter | Philosophical Books | 1993-07-01 |
| Proof, Logic and Formalization | Michael Detlefsen | Mark Steiner | The Journal of Symbolic Logic | 1993 |
| A Formalization of Set Theory without Variables | Alfred Tarski | John Bacon | History and Philosophy of Logic | 1989-01-01 |
| Formalization and automatic theorem-proving | Hao Wang | Joyce Friedman | The Journal of Symbolic Logic | 1974 |