Frege and Gödel; two fundamental texts in mathematical logic.
Van Heijenoort, Jean, 1912-
Frege and Gödel; two fundamental texts in mathematical logic. - Cambridge, Mass., Harvard University Press, 1970. - 116 p. illus. 26 cm.
"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116)
0674318447
71116736
Logic, Symbolic and mathematical.
Mathematics--Philosophy.
QA9 / .F88 1970
164
Frege and Gödel; two fundamental texts in mathematical logic. - Cambridge, Mass., Harvard University Press, 1970. - 116 p. illus. 26 cm.
"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116)
0674318447
71116736
Logic, Symbolic and mathematical.
Mathematics--Philosophy.
QA9 / .F88 1970
164