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 |