000 00544pam a2200181a 44500
008 160408b2004 xxu||||| |||| 00| 0 eng d
020 _a0198529813
082 _a160
_bH359F
100 _aHedman,Shawn
245 1 _aA FIRST COURSE IN LOGIC
_cAN INTRODUCTION TO MODEL THEORY, PROOF THEORY, COMPUTABILITY, AND COMPLEXITY
260 _a
_bOxford Univ. Pr., Oxford
_c2004
300 _axx,431
440 _aOxford Texts In Logic
_v
650 _aLogic
650 _aLogic, Symbolic And Mathematical
964 _gCIRC
997 _aA149646 C
999 _c335208
_d335208