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) |