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)