Frege and Gödel
Subtitle: two fundamental texts in mathematical logic.
Contributors: Frege, Gottlob, 1848-1925.; Gödel, Kurt.
Publisher: Harvard University Press
Published: 1970
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 116
Subjects: Logic, Symbolic and mathematical; Mathematics -- Philosophy
Notes: "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Table of contents: title: Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.; title: 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. Gödel.; title: Bibliography (p. [111]-116)