000 | 01131cac a22002651u 4500 | ||
---|---|---|---|
090 | _c1269 | ||
008 | 081111t2004 xxu||||| |||| 00| 0 eng d | ||
010 | _a2004303637 | ||
020 | _a0198529805 | ||
020 | _a0198529813 (pbk.) | ||
035 | _a(OCoLC)ocm56446102 | ||
082 | 0 | 0 |
_a160 _bH455 |
100 | _aHedman, Shawn. | ||
245 | 1 | 2 |
_aA first course in logic : _ban introduction to model theory, proof theory, computability, and complexity / _cShawn Hedman. |
260 |
_aOxford ; _aNew York : _bOxford University Press, _c2004. |
||
300 |
_axx, 431 p. : _bill. ; _c25 cm. |
||
440 | 0 |
_aOxford texts in logic ; _v1 |
|
504 | _aIncludes bibliographical references (p. [426]-427) and index. | ||
650 | 0 | _aLogic. | |
650 | 0 | _aLogic, Symbolic and mathematical. | |
856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0620/2004303637-d.html |
856 | 4 | 2 |
_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0620/2004303637-t.html |
942 |
_cBB _k160H455 _2ddc |
||
952 |
_w2006-08-30 _p000003206 _r2007-05-20 _40 _00 _u1799 _bMAIN _10 _o160 HED _d2030-08-06 _70 _cMAIN _yBB _l1 _aMAIN |
||
999 |
_c1269 _d1269 |