| 000 | 00000nam a2200000 a 4500 | ||
|---|---|---|---|
| 005 | 20251203090503.0 | ||
| 082 |
_a511.3, _bD, and |
||
| 100 | _aAndrews, Peter, B. | ||
| 245 | _aIntroduction to mathematical logic and type theory: to truth through proof | ||
| 260 |
_aNew York _bAcademic Press _c1986 |
||
| 300 | _axv, 304p, 22 cm. | ||
| 490 | _aComputer science and applied mathematics | ||
| 690 | _aLogic, Symbolic and mathematical | ||
| 690 | _aType theory | ||
| 964 |
_bEng _c100 _d _e010 _f _g_ |
||
| 997 | _a19543 LIBSC C | ||
| 999 |
_c9334 _d9334 |
||