A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
3 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 |
| Proof methods for modal and intuitionistic logics | Melvin Fitting | H C M De Swart | History and Philosophy of Logic | 1985-01-01 |
| Proof methods for modal and intuitionistic logics | Melvin Fitting | R. A. Bull | The Journal of Symbolic Logic | 1985 |