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