TY  - BOOK
AU  - Lambek,Joachim
AU  - Scott, P. J.
ED  - University of Cambridge
TI  - Introduction to higher order categorical logic
T2  - Cambridge studies in advanced mathematics
SN  - 0521356539
AV  - QA169 L35
PY  - 1986///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Categorías (Matemáticas)
ER  -