| 000 | 00721nam^a2200229zi^4500 | ||
|---|---|---|---|
| 008 | 020524s1999^^^^ne^a^^^^^b^^^^001^0^eng^^ | ||
| 020 | _a0444501703 | ||
| 035 | _aMX001000916369 | ||
| 041 | _aENG | ||
| 050 | 0 | 0 |
_aQA9 _bJ33 |
| 082 | 0 | 0 |
_a511.3 _221 |
| 100 | 1 |
_aJacobs, Bart, _eautor |
|
| 245 | 1 | 0 |
_aCategorical logic and type theory / _cBart Jacobs |
| 264 | 1 |
_aAmsterdam : _bElsevier Science, _c1999 |
|
| 300 |
_axviii, 760 páginas : _bilustraciones ; |
||
| 336 |
_atexto _2rdacontent |
||
| 337 |
_asin medio _2rdamedia |
||
| 338 |
_avolumen _2rdacarrier |
||
| 490 | 0 |
_aStudies in logic and the foundations of mathematics ; _vv. 141 |
|
| 650 | 0 | _aTeoría de tipos | |
| 650 | 0 | _aCategorías (Matemáticas) | |