Reviews matching “Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel”

3 results

BookAuthorReviewerJournalDate
Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn Alonzo Church The Journal of Symbolic Logic 1975
Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn Richard J. Orgass The Journal of Symbolic Logic 1975
Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel T. Holyoke JOHN P. Cleave The British Journal for the Philosophy of Science 1970-11-01

Open this search with filters