| Record ID | marc_ithaca_college/ic_marc.mrc:66026714:1328 |
| Source | Ithaca College Library |
| Download Link | /show-records/marc_ithaca_college/ic_marc.mrc:66026714:1328?format=raw |
LEADER: 01328cam a2200289 4500
001 107584
005 19930111182518.0
008 710106r19701879maua b 001 0 eng
010 $a 71116736 $o00118480
035 $9AAM-4529
040 $aDLC$cDLC$dm.c.$dXIM
020 $a0674318447
041 1 $aengger
050 0 $aQA9$b.V28
082 $a164
049 $aXIMM
100 1 $aVan Heijenoort, Jean,$d1912- ,
245 10 $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.
650 0 $aMathematics$xPhilosophy.
700 12 $aFrege, Gottlob,$d1848-1925.$tBegriffsschrift. English. 1970.
700 10 $aGödel, Kurt.