| 000 | 01515n a2200337#a 4500 | ||
|---|---|---|---|
| 001 | 5624 | ||
| 005 | 20231124151339.0 | ||
| 008 | 710106r19701879maua b 001 0 eng | ||
| 010 | _a71116736 | ||
| 020 | _a0674318447 | ||
| 035 | _aocm00118480 | ||
| 035 | _aRecord 11108 | ||
| 040 |
_aDLC _cDLC |
||
| 041 | 1 | _aengger | |
| 049 | _aP5AA | ||
| 082 | 0 | 4 |
_a511.3 _bF858 |
| 090 | _alf2 | ||
| 245 | 1 | 0 |
_aFrege and Gödel; _btwo fundamental texts in mathematical logic/ _cJean Van Heijenoort. |
| 260 |
_aCambridge, Mass.: _bHarvard University Press, _c1970. |
||
| 300 |
_a116 p.: _billus., _c26 cm. |
||
| 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 | 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 | 0 |
_aLogic, Symbolic and mathematical. _99813 |
| 650 | 0 | 4 |
_aMathematics- _xPhilosophy. _943617 |
| 697 |
_aLógica e Fundamentos 02- _xLógica Matemática e Funções Recursivas. _923728 |
||
| 700 | 1 |
_aFrege, Gottlob _d1848-1925. _945992 |
|
| 700 | 1 | 2 |
_aVan Heijenoort, Jean, _d1912- _944863 |
| 700 | 1 |
_aGodel, Kurt, _d1906-1978. _918168 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_c6691 _d6691 |
||