| 000 | 00727nam a22002297a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20180912235227.0 | ||
| 008 | 090503t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9780198529804 (HB) | ||
| 040 |
_auniversity _bEnglish _cUniversity |
||
| 041 | _aEnglish | ||
| 082 | _a004.015113 HED(FIR) | ||
| 100 |
_aShawn Hedman _9632 |
||
| 245 | _aA first course in logic: an introduction to model theory, proof theory, computability, and complexity | ||
| 260 |
_bOxford University Press _cc2004 |
||
| 300 | _axx, 431p. | ||
| 440 |
_aOxford texts in logic 1 _9633 |
||
| 518 | _aSAR/146/2009/06-11-09 | ||
| 650 |
_aLOGIC, SYMBOLIC AND MATHEMATICAL _9634 |
||
| 650 |
_aLOGIC (COMPUTER SCIENCE) _9635 |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c9785 _d9785 |
||