000 01429nam a2200313 4500
001 3130579
003 OSt
005 20201202145144.0
008 710106r19701879maua b 001 0 eng
010 _a 71116736
020 _a0674318447
040 _aDLC
_cATU
_dDLC
041 1 _aengger
050 0 0 _aQA9
_b.F88 1970
082 0 0 _a164
100 1 _aVan Heijenoort, Jean,
_d1912-
_ecomp.
_94944
245 1 0 _aFrege and Gödel;
_btwo fundamental texts in mathematical logic.
260 _aCambridge, Mass.,
_bHarvard University Press,
_c1970.
300 _a116 p.
_billus.
_c26 cm.
350 _a$6.00
500 _a"These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
505 0 _aBegriffsschrift, 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)
650 0 _aLogic, Symbolic and mathematical.
_94107
650 0 _aMathematics
_xPhilosophy.
_94945
700 1 2 _aFrege, Gottlob,
_d1848-1925.
_tBegriffsschrift. English. 1970.
_94946
700 1 _aGödel, Kurt.
_94947
906 _a7
_bcbc
_corignew
_d4
_encip
_f19
_gy-gencatlg
942 _2lcc
_cBOOK
999 _c2340
_d2340