A comprehensive index of philosophy book reviews
A comprehensive index of philosophy book reviews
1 result
| Book | Author | Reviewer | Journal | Date |
|---|---|---|---|---|
| Gödel's intepretation of Heyting's arithmetic | G. Kreisel | D. van Dalen | The Journal of Symbolic Logic | 1971 |