Categorical logic and type theory (Registro nro. 5488)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| campo de control de longitud fija | 00721nam^a2200229zi^4500 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 020524s1999^^^^ne^a^^^^^b^^^^001^0^eng^^ |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 0444501703 |
| 035 ## - NÚMERO DE CONTROL DEL SISTEMA | |
| Número de control de sistema | MX001000916369 |
| 041 ## - CÓDIGO DE LENGUA | |
| Código de lengua del texto/banda sonora o título independiente | ENG |
| 050 00 - SIGNATURA TOPOGRÁFICA DE LA BIBLIOTECA DEL CONGRESO | |
| Número de clasificación | QA9 |
| Número de documento/Ítem | J33 |
| 082 00 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación | 511.3 |
| Número de edición | 21 |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Jacobs, Bart, |
| Término indicativo de función/relación | autor |
| 245 10 - MENCIÓN DE TÍTULO | |
| Título | Categorical logic and type theory / |
| Mención de responsabilidad, etc. | Bart Jacobs |
| 264 #1 - PRODUCCIÓN, PUBLICACIÓN, DISTRIBUCIÓN, FABRICACIÓN Y COPYRIGHT | |
| Producción, publicación, distribución, fabricación y copyright | Amsterdam : |
| Nombre del de productor, editor, distribuidor, fabricante | Elsevier Science, |
| Fecha de producción, publicación, distribución, fabricación o copyright | 1999 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xviii, 760 páginas : |
| Otras características físicas | ilustraciones ; |
| 336 ## - TIPO DE CONTENIDO | |
| Término de tipo de contenido | texto |
| Fuente | rdacontent |
| 337 ## - TIPO DE MEDIO | |
| Nombre/término del tipo de medio | sin medio |
| Fuente | rdamedia |
| 338 ## - TIPO DE SOPORTE | |
| Nombre/término del tipo de soporte | volumen |
| Fuente | rdacarrier |
| 490 0# - MENCIÓN DE SERIE | |
| Mención de serie | Studies in logic and the foundations of mathematics ; |
| Designación de volumen o secuencia | v. 141 |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Teoría de tipos |
| 650 #0 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | Categorías (Matemáticas) |
| Estado de retiro | Estado de pérdida | Fuente del sistema de clasificación o colocación | Estado dañado | No para préstamo | Código de colección | Localización permanente | Ubicación/localización actual | Ubicación en estantería | Coste, precio normal de compra | Total de préstamos | Signatura topográfica completa | Código de barras | Fecha visto por última vez | Número de copia | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Clasificación de la Biblioteca del Congreso | General | Libros | Libros | Libros | 928.47 | QA9 J33 | 3524 | 01/01/2000 | 1 | Libros |