| 000 | 00547nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 220407s9999 xx 000 0 und d | ||
| 020 | _a0198529805 | ||
| 040 | _cATVERC | ||
| 050 | _aQA 9 .H43 2006 | ||
| 100 | _aHedman Shawn | ||
| 245 | 2 | _aA first course in logic: an introduction to model theory, proof theory, computability, and complexity | |
| 260 |
_aGreat Clarendon Street, Oxford _bOxford Univ. Press _cc2006 |
||
| 300 |
_axx, 431 p. ; 23 cm. _c23 cm |
||
| 500 | _aIncludes bibliography and index. | ||
| 650 | _aLogic | ||
| 999 |
_c19149 _d19149 |
||