Introduction to higher order categorical logic /

Bibliographic Details
Main Author:	Lambek, Joachim, 1922-
Other Authors:	Scott, P. J.
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University, 1994.
Series:	Cambridge studies in advanced mathematics ; 7
Subjects:	Lógica mathemática. Mathematical logic.

MARC


LEADER	00000nam a22000007a 4500
003	AR_CdUFM
005	20160908124547.0
008	850308r1994 enk \| b 001 0 eng
020			\|a 0521356539
040			\|a DLC \|c DLC \|d DLC \|d AR_CdUFM
100	1		\|9 9545 \|a Lambek, Joachim, \|d 1922-
245	1	0	\|a Introduction to higher order categorical logic / \|c Joachim Lambek, P. J. Scott.
260			\|a Cambridge ; \|a New York : \|b Cambridge University, \|c 1994.
300			\|a ix, 293 p. ; \|c 24 cm.
490		0	\|a Cambridge studies in advanced mathematics ; \|v 7
500			\|a Incluye índice.
504			\|a Bibliografía: p. [279]-288.
541			\|a Importación de Publicaciones ; \|c Compra Programa de Bibliotecas Res. 1038/10 ; \|d 2011-08-25 ; \|e 21125 ; \|h $250 ; \|o Libro
650		4	\|a Lógica mathemática.
650		4	\|a Mathematical logic.
700	1		\|9 15582 \|a Scott, P. J.
942			\|c LIBRO \|2
945			\|a MCR \|d 2013-09-17
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F41_L221 \|7 0 \|9 20567 \|a MMA \|b MMA \|c 4 \|d 2011-08-25 \|e Programa de Bibliotecas Res. 1038/10: Importación de Publicaciones \|g 0.00 \|l 8 \|o C F4.1 L221 \|p 21125 \|q 2024-09-25 \|r 2024-09-18 15:00:38 \|s 2024-09-18 \|w 2011-08-25 \|y LIBRO
999			\|c 16157 \|d 16156