TY  - BOOK
AU  - Lambek, J
AU  - Scott, P. J
TI  - Introduction to higher order categorical logic
SN  - 0-521-35653-9
AV  - QA 169 L35
PY  - 1988///
CY  - Cambridge
PB  - Cambridge University
KW  - Categorías (Matemáticas)
N1  - Incluye bibliografía e índice
ER  -