| 000 | 00846nam a2200229 a 4500 | ||
|---|---|---|---|
| 001 | vtls000014800 | ||
| 003 | KUKTEM | ||
| 005 | 20251117142457.0 | ||
| 008 | 060802t nyu e 001 0 eng d | ||
| 020 | _a0198529805 | ||
| 039 | 9 |
_a201107131832 _bVLOAD _c200908141224 _dVLOAD _c200908141155 _dVLOAD _c200908131629 _dVLOAD _y200608020918 _zdilla |
|
| 040 | _aUMP | ||
| 090 | _aQA 9 .H43 2004 | ||
| 100 | 1 | _aHedman, Shawn. | |
| 245 | 1 | 2 |
_aA first course in logic : _ban introduction to model theory, proof theory, computability, and complexity / _cShawn Hedman |
| 260 |
_aNew York : _bOxford University Press, _c2004 |
||
| 300 |
_a431 p. : _bill. ; _c25 cm |
||
| 440 | _aOxford texts in logic 1 | ||
| 650 | 0 | _aLogic | |
| 650 | 0 | _aLogic, Symbolic and mathematical | |
| 999 |
_aVIRTUA40 _c29954 _d29960 |
||
| 999 | _aVTLSSORT0080*0200*0900*1000*2450*2600*3000*4400*6500*6501*9991 | ||