A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
57 results · page 2 of 2
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Proving a theorem (as done by man, logician, or machine) | Abraham Robinson | J. A. Robinson | The Journal of Symbolic Logic | 1968 |
| Theorem proving by machine | H. Gelernter | J. A. Robinson | The Journal of Symbolic Logic | 1968 |
| The unit preference strategy in theorem proving | Lawrence Wos, Daniel Carson, and George Robinson | David Luckham | The Journal of Symbolic Logic | 1967 |
| The representation theorem for cylindrical algebras | L. Henkin | Paul R. Halmos | The Journal of Symbolic Logic | 1957 |
| Skolem-Löwenheim no teiri ni tuite (On the theorem of Skolem-Löwenheim). Kisokagaku, no. 30 (121952) | Kinjiro Kunugui | J. Barkley Rosser | The Journal of Symbolic Logic | 1956 |
| Symposium: On the ontological significance of the Löwenheim-Skolem theorem | George D. W. Berry | A. R. Turquette | The Journal of Symbolic Logic | 1955 |
| Symposium: On the ontological significance of the Löwenheim-Skolem theorem | John R. Myhill | A. R. Turquette | The Journal of Symbolic Logic | 1955 |