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 ISBN: 0-521-35653-9 Subjects--Topical Terms: CATEGORIAS (MATEMATICAS) Dewey Class. No.: 512.55/L171i