A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
5 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics | Lincoln A. Wallen | Luis Fariñas Del Cerro | The Journal of Symbolic Logic | 1993 |
| Modal Logic and Classical Logic | Johan Van Benthem | Jesús Padilla Galvez | Theoria: Revista de Teoria, Historia y Fundamentos de la Ciencia | 1989-02-01 |
| Modal Logic and Classical Logic | Johan Van Benthem | Graeme Forbes | Canadian Philosophical Reviews | 1987-02-01 |
| Modal Logic and Classical Logic | Johan van Benthem | Graeme Forbes | Philosophy in Review | 1987-01-01 |
| Modal Logic and Classical Logic | Johan Van Benthem | R. A. Bull | The Journal of Symbolic Logic | 1987 |