Categorical logic and type theory (Registro nro. 45962)

Detalles MARC
000 -CABECERA
campo de control de longitud fija	00617nam a2200205Ia 4500
001 - NÚMERO DE CONTROL
campo de control	121198
008 - LONGITUD FIJA
campo de control de longitud fija	200505s9999 xx 000 0 und d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN	0-444-50853-8
040 ## - FUENTE DE CATALOGACIÓN
Centro catalogador/agencia de origen	EC-QuPUC
Lengua de catalogación	Español
100 1# - AUTOR PERSONAL
nombre	Jacobs, Bart
245 #0 - TÍTULO PROPIAMENTE DICHO
título	Categorical logic and type theory
260 ## - PIE DE IMPRENTA
Ciudad de publicación	New York, Estados Unidos
Editor, distribuidor	Elsevier Science, c1999
Fecha de publicación	1999
300 ## - DESCRIPCIÓN FÍSICA
Extensión	xvii, 760 p.
Ilustraciones
Dimensiones	24 cm.
490 0# - SERIE
Serie	Studies in Logic and the Foundations of Mathematics ; 141
504 ## - NOTA DE BIBLIOGRAFÍA
Bibliografía, etc.	Bibliografía: p. 717-733
082 04 - CLASIFICACIÓN DECIMAL DEWEY
Clasificación	511.3/J151c
650 #4 - MATERIA GENERAL
Término de materia o nombre geográfico como elemento inicial	CATEGORIAS (MATEMATICAS)
650 #4 - MATERIA GENERAL
Término de materia o nombre geográfico como elemento inicial	LOGICA MATEMATICA
942 00 - PUNTO DE ACCESO ADICIONAL KOHA
Préstamos Koha (prestado), todas las copias	0

Existencias
Ocultar en el OPAC	Perdido	Dañado	No circula	Colección	Nota de inventario	Sede propietaria	Localización actual	Ubicación	Adquirido	Proveedor	Precio de adquisición	Volumen	Signatura topográfica	Código de barras	Visto por última vez	Ejemplar	Tipo de ítem
No oculto				Col General	Inventario 2023	Sede Quito	Sede Quito	Primer piso	03/31/2015	Amazon/9257039	131.40	V.1	511.3/J151c	PUCE185997	05/12/2020	Ej.1	Libro