| 000 | 00431nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 160830s9999||||xx |||||||||||||| ||und|| | ||
| 020 | _a9781402007637 | ||
| 040 | _cCUS | ||
| 082 |
_a510 _bAND/I |
||
| 245 | 3 |
_aAn introduction to mathematical logic and type theory/ _bto truth through proof _cAndrews,Peter B. |
|
| 250 | _a2nd ed. | ||
| 260 |
_aDordrecht: _bKluwer Academic Publishers, _c2002. |
||
| 300 | _a390 p. | ||
| 942 | _cBook | ||
| 999 |
_c170128 _d170128 |
||