A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
2 results
| 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 |