A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
4 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium | J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics | Richard Mansfield | The Journal of Symbolic Logic | 1975 |
| A. Robinson. A basis for the mechanization of the theory of equations. Computer programming and formal systems | P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics | Martin Davis | The Journal of Symbolic Logic | 1968-04-26 |
| N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems | P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics | G. H. Matthews | The Journal of Symbolic Logic | 1967-10-09 |
| Theory of formal systems | Raymond M. Smullyan | Marian Boykan Pour-El | The Journal of Symbolic Logic | 1965 |