Introduction to higher order categorical logic /J. Lambek, P. J. Scott
Lambek, J.
Introduction to higher order categorical logic /J. Lambek, P. J. Scott - Cambridge, England Cambridge University Press, c1986 1986 - x, 293 p. 23 cm. - Cambridge Studies in Advanced Mathematics ; 7 .
Bibliografía: p. [279]-288
0-521-35653-9
CATEGORIAS (MATEMATICAS)
512.55/L171i
Introduction to higher order categorical logic /J. Lambek, P. J. Scott - Cambridge, England Cambridge University Press, c1986 1986 - x, 293 p. 23 cm. - Cambridge Studies in Advanced Mathematics ; 7 .
Bibliografía: p. [279]-288
0-521-35653-9
CATEGORIAS (MATEMATICAS)
512.55/L171i
