| 000 | 00617nam a2200205Ia 4500 | ||
|---|---|---|---|
| 001 | 121198 | ||
| 008 | 200505s9999 xx 000 0 und d | ||
| 020 | _a0-444-50853-8 | ||
| 040 |
_aEC-QuPUC _bspa |
||
| 082 | 0 | 4 | _a511.3/J151c |
| 100 | 1 | _aJacobs, Bart | |
| 245 | 0 | _aCategorical logic and type theory | |
| 260 |
_aNew York, Estados Unidos _b Elsevier Science, c1999 _c1999 |
||
| 300 |
_axvii, 760 p. _b _c24 cm. |
||
| 490 | 0 | _aStudies in Logic and the Foundations of Mathematics ; 141 | |
| 504 | _aBibliografía: p. 717-733 | ||
| 650 | 4 | _aCATEGORIAS (MATEMATICAS) | |
| 650 | 4 | _aLOGICA MATEMATICA | |
| 999 |
_c45962 _d45962 |
||
| 942 | 0 | 0 | _00 |