Frege and Gödel; two fundamental texts in mathematical logic

Author(s): Van Heijenoort, Jean, 1912-
Retrieving Holdings Information
Subjects: Logic, Symbolic and mathematical
Formats: Print
Material Type: Books
Language: English, German (translated from)
Audience: Unspecified
Published: Cambridge, Mass., Harvard University Press, 1970
LC Classification: Q, QA
Physical Description: 116 p. illus. 26 cm
Added Titles: Frege, Gottlob, 1848-1925 Begriffsschrift. English. 1970
Analytic Titles: Begriffsschrift. English. 1970
Additional Authors: Gödel, Kurt
Notes: LCCN: 71116736
ISBN: 0674318447
"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
Contents: 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)
OCLC Number: 118480
ISBN/ISSN: 0674318447