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 |