A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
3 results
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Handbook of Recursive Mathematics. Volume 2, Recursive Algebra, Analysis and Combinatorics Yu. L. Ershov S. S. Goncharov A. Nerode J. B. Remmel V. W. Marek | Yu. L. Ershov | John N. Crossley | The Bulletin of Symbolic Logic | 2001-03-00 |
| Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium | J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics | G. Kreisel | The Journal of Symbolic Logic | 1970 |
| Recursive analysis | R. L. Goodstein | James R. Guard | The Journal of Symbolic Logic | 1962 |