TY  - BOOK
AU  - Van Heijenoort,Jean
AU  - Frege,Gottlob
AU  - Gödel,Kurt
TI  - Frege and Gödel: two fundamental texts in mathematical logic
SN  - 0674318447
AV  - QA9 .F88 1970
U1  - 164 
PY  - 1970///
CY  - Cambridge, Mass.
PB  - Harvard University Press
KW  - Logic, Symbolic and mathematical
KW  - Mathematics
KW  - Philosophy
N1  - "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)
ER  -