| 000 | 01257n a2200313#a 4500 | ||
|---|---|---|---|
| 001 | 569 | ||
| 005 | 20231124152028.0 | ||
| 008 | 720803s1950 nyu b 000 0 eng | ||
| 010 | _a50004784 | ||
| 035 | _aocm00372927 | ||
| 035 | _aRecord 01741 | ||
| 040 |
_aDLC _cWSU _dSER |
||
| 041 | 1 | _aengger | |
| 049 | _aP5AA | ||
| 082 | 0 | 4 |
_a511.3 _bH641p |
| 090 | _alf2 | ||
| 100 | 1 |
_aHilbert, David _d1862-1943. _943481 |
|
| 245 | 1 | 0 |
_aPrinciples of mathematical logic/ _cby D. Hilbert and W. Ackermann; translated from the German by Lewis M. Hammond, George G. Leckie [and] F. Steinhardt. Edited and with notes by Robert E. Luce. |
| 260 |
_aNew York: _bChelsea, _c1950. |
||
| 300 |
_axii, 172 p.: _c24 cm. |
||
| 500 | _a"Published and distributed in the public interest by authority of the Attorney General under licence no. A-1428." | ||
| 500 | _aTranslation of the 2d ed. of the authors' Grundzüge der theoretischen Logik, published in 1938." | ||
| 504 | _aBibliography: p. 169-170. | ||
| 650 | 0 | 4 |
_aLogic, Symbolic and mathematical. _99813 |
| 697 |
_aLógica e Fundamentos 02- _xLógica Matemática e Funções Recursivas. _923728 |
||
| 700 | 1 |
_aAckermann, W. _q(Wilhelm), _d1896- _ejoint author. _943482 |
|
| 942 |
_2impa _cBK |
||
| 999 |
_c1791 _d1791 |
||