000 00843nam a2200253zi 4500
005 20210817121709.0
008 040830s1986 000 0 eng
020 _a0521356539
_c(rustica)
020 _a0-521-24665-2
_c(encuadernado en tela)
035 _aMX001000465969
050 _aQA169
_bL35
100 1 _aLambek, Joachim,
_eautor
245 1 0 _aIntroduction to higher order categorical logic /
_cJ. lambek, p. j. Scott
300 _aix, 293 páginas
490 0 _aCambridge studies in advanced mathematics ;
_v7
650 _aCategorías (Matemáticas)
700 _aScott, P. J.
_eautor
710 2 _aUniversity of Cambridge
264 1 _aCambridge :
_bCambridge University Press,
_c1986
336 _atexto
_2rdacontent
337 _asin medio
_2rdamedia
338 _avolumen
_2rdacarrier
999 _c16406
_d16406