000 | 00446nam a2200133Ia 4500 | ||
---|---|---|---|
008 | 211224s9999 xx 000 0 und d | ||
020 | _a9780198529811 ; 9780198529804 | ||
082 | _a160 HED | ||
100 | _aHedman, Shawn | ||
245 | 2 | _aA first course in logic : an introduction to model theory, proof theory, computability, and complexity | |
260 |
_aOxford: _bOxford University Press, _c2004 |
||
300 | _axx, 431 p. : ill. ; 25 cm | ||
650 | _aLogic | ||
999 |
_c4673 _d4673 |