A comprehensive index of philosophy book reviews
1 result
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus | R. L. Goodstein | Th. Skolem | The Journal of Symbolic Logic | 1958 |