This is a preview of subscription content, log in via an institution to check access.
References
Benacerraf, P., and H. Putnam, 1964, Philosophy of Mathematics, Englewood Cliffs: Prentice-Hall.
Detlefsen, M., 1979, ‘On interpreting Gödel's Second Theorem’, Journal of Philosophical Logic 8, 297–313.
Detlefsen, M., 1986, Hilbert's Program, Dordrecht: Reidel.
Feferman, S., 1984, ‘Kurt Gödel: conviction and caution’, Philosophia Natualis 21, 546–562.
Gödel, K., 1958, ‘Über ein bisher noch nicht benützte Erweiterung der finiten Standpunktes’, Dialectica 12, 280–287; repr. with Eng. tr. in Gödel 1990.
Gödel, K., 1990, Collected Works, vol. II, New York: Oxford U.P.
Gödel, K., 1995, Collected Works, vol. III, New York: Oxford U.P.
Jeroslow, R., 1975, ‘Experimental logics and Δ 02 theories’, Journal of Philosophical Logic 4, 253–267.
Leonardi, P., and M. Santambrogio, 1995, On Quine, Cambridge: Cambridge U.P.
Lucas, J., 1961, ‘Minds, Machines, and Gödel’, Philosophy 36, 112–127.
Nagel, E., and J. R. Newman, 1958, Gödel's Proof, New York: New York University Press.
Quine, W. V., 1936, ‘Truth by Convention’, in Philosophical Essays for Alfred North Whitehead, London: Longmans, Green; repr. in Benacerraf and Putnam 1964 and in Quine 1966.
Quine, W. V., 1963, Set Theory and its Logic, Cambridge: Harvard U.P.
Quine, W. V., 1966, The Ways of Paradox, New York: Random House.
Rodríguez-Consuegra, F. A., 1994, Kurt Gödel: Ensayos Inèditos, Barcelona: Mondadori.
Rosser, J. B., 1939, ‘An informal exposition of proofs of Gödel's Theorem and Church's Theorem’, Journal of Symbolic Logic 4, 53–60.
Schilpp, P. A., 1963, The Philosophy of Rudolf Carnap, La Salle: Open Court.
Rights and permissions
About this article
Cite this article
Book review. Studia Logica 62, 107–116 (1999). https://doi.org/10.1023/A:1017124027353
Issue Date:
DOI: https://doi.org/10.1023/A:1017124027353