"Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a)".
Frege and Gödel: Two Fundamental Texts in Mathematical Logic, edited by Jean van Heijenoort, Cambridge, MA and London, England: Harvard University Press, 1970, pp. 83-110.
https://doi.org/10.4159/harvard.9780674864603.c3(1970). Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a). In J. Heijenoort (Ed.),
Frege and Gödel: Two Fundamental Texts in Mathematical Logic (pp. 83-110). Cambridge, MA and London, England: Harvard University Press.
https://doi.org/10.4159/harvard.9780674864603.c31970. Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a). In: Heijenoort, J. ed.
Frege and Gödel: Two Fundamental Texts in Mathematical Logic. Cambridge, MA and London, England: Harvard University Press, pp. 83-110.
https://doi.org/10.4159/harvard.9780674864603.c3"Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a)" In
Frege and Gödel: Two Fundamental Texts in Mathematical Logic edited by Jean van Heijenoort, 83-110. Cambridge, MA and London, England: Harvard University Press, 1970.
https://doi.org/10.4159/harvard.9780674864603.c3Some metamathematical results on completeness and consistency, on formally undecidable propositions of principia mathematica and related systems i, and on completeness and consistency: KURT GÖDEL (1930b, 1931, and 1931a). In: Heijenoort J (ed.)
Frege and Gödel: Two Fundamental Texts in Mathematical Logic. Cambridge, MA and London, England: Harvard University Press; 1970. p.83-110.
https://doi.org/10.4159/harvard.9780674864603.c3Copied to clipboard
