000 00429nam a2200145Ia 4500
008 190215s9999||||xx |||||||||||||| ||und||
020 _a9780198529811
082 _a160
_bHed
100 _aHedman, Shawn.
245 2 _aA first Course in Logic: An Introduction to Model Theory, Proof Theory, Computability and Complexity
260 _aNew York
_bOxford University Press
_c2004
300 _axx,431p.
650 _aLogic
942 _cBK
999 _c466
_d466