1972 ◽
Vol 15
(2)
◽
pp. 315-315
Robert M. Solovay
On the cardinality of sets of reals. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 58–73.
1974 ◽
Vol 39
(2)
◽
pp. 330-330
Haskell B. Curry. The undecidability of λK-conversion. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 10–14.
1975 ◽
Vol 40
(2)
◽
pp. 246-246
Stephen F. Barker. Realism as a philosophy of mathematics. Foundations of mathematics, Symposium papers commemorating the sixtieth birthday of Kurt Gödel, edited by Jack J. Bulloff, Thomas C. Holyoke, and S. W. Hahn, Springer-Verlag, Berlin, Heidelberg, and New York, 1969, pp. 1–9.
1975 ◽
Vol 40
(4)
◽
pp. 593-593
2012 ◽
Vol 20
(2)
◽
pp. 260-266
1972 ◽
Vol 37
(1)
◽
pp. 203-204
1970 ◽
Vol 21
(4)
◽
pp. 403-404
2006 ◽
Vol 12
(3)
◽
pp. 492-494
J. C. Shepherdson. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 285–308. - J. C. Shepherdson. Computational complexity of real functions. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 309–315. - A. J. Kfoury. The pebble game and logics of programs. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 317–329. - R. Statman. Equality between functionals revisited. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 331–338. - Robert E. Byerly. Mathematical aspects of recursive function theory. Harvey Friedman's research on the foundations of mathematics, edited by L. A. Harrington, M. D. Morley, A. S̆c̆edrov, and S. G. Simpson, Studies in logic and the foundations of mathematics, vol. 117, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 339–352.
1990 ◽
Vol 55
(2)
◽
pp. 876-878
2011 ◽
Vol 20
(1)
◽
pp. 129-130
Close
Export Citation Format
Close
Share Document
Close
Foundations of Mathematics, xii +195 pages. Symposium papers commemorating the sixtieth birthday of Kurt Gôdel, edited by J. J. Bulloff, T. C. Holyoke, and S. W. Hahn. Springer-Verlag, New York, 1969. U.S. $9.75.