| 000 | 00397nam a2200121Ia 4500 | ||
|---|---|---|---|
| 008 | 160523s9999 xx 000 0 und d | ||
| 020 | _a978-1-402-00763-7 | ||
| 100 | _aAndrews, P. B. | ||
| 245 | 3 | _aAn Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | |
| 260 |
_aDordrecht _bKluwer Academic Publisher _c2002 |
||
| 300 | _axviii, 390p. | ||
| 490 | _aApplied Logic Series. 27. | ||
| 999 |
_c33224 _d33224 |
||