Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 1–5. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 1–5. - Gottlob Frege. Begriffsschrift, a formula language,

Abstract

Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 1–5. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 1–5. - Gottlob Frege. Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. English translation of 491 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 5–82. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 5–82. - Jean van Heijenoort. Introductory note. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 592–595. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 83–86. - Kurt Gödel. Some metamathematical results on completeness and consistency. English translation of 4181 by Stefan Bauer-Mengelberg. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 595–596. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 86–87. - Kurt Gödel. On formally undecidable propositions of Principia mathematica and related systems I. English translation of 4183 by Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 596–616. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 87–107. - Kurt Gödel. On completeness and consistency. English translation of 4188 by Jean van Heijenoort. From Frege to Gödel, A source book in mathematical logic, 1879–1931, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1967, pp. 616–617. Reprinted in Frege and Gödel, Two fundamental texts in mathematical logic, edited by Jean van Heijenoort, Harvard University Press, Cambridge, Mass., 1970, pp. 107–108. - Volume 37 Issue 2