| 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 |
||
| 999 |
_c1269 _d1269 |
||