Biblioteca

Isabelle/ (Record no. 9299)

000 -CABECERA
Campo de control de longitud fija 00719 a2200217 04500
001 - NÚMERO DE CONTROL
Campo de control 9538
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL
Campo de control de longitud fija 050624s2002 eng d
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER)
ISBN 3540433767
041 0# - CÓDIGO DE IDIOMA
Código de idioma para texto, pista de sonido o título separado eng
082 0# - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación Decimal 004.01
Número de documento (Cutter) N464i
100 40 - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL
Nombre de persona Nipkow, Tobias
9 (RLIN) 23299
245 0# - TÍTULO PROPIAMENTE DICHO
Título Isabelle/
Mención de responsabilidad, etc. Hol:
Parte restante del título a proof assistant for higher-order logic / Tobias Nipkow
260 4# - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc. Berlin:
Nombre del editor, distribuidor, etc. Springer
Fecha de publicación, distribución, etc. 2002.
300 4# - DESCRIPCIÓN FÍSICA
Extensión 218 p.
504 4# - NOTA DE BIBLIOGRAFÍA, ETC.
Bibliografía, etc. Incluye bibliografía e índice p. 209
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
Nombre de materia o nombre geográfico como elemento de entrada COMPUTER LOGIC
9 (RLIN) 23300
650 ## - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
Nombre de materia o nombre geográfico como elemento de entrada AUTOMATIC THEOREM PROVING
9 (RLIN) 23301
700 40 - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL
Nombre de persona Paulson, Lawrence C., Wenzel, Markus,
9 (RLIN) 23302
942 ## - ELEMENTOS KOHA
Fuente de clasificación o esquema de ordenación en estanterías
Koha tipo de item ANALITICA DE SERIADA
Holdings
Disponibilidad Mostrar en OPAC Fuente de clasificación o esquema Tipo de Descarte Restricciones de uso Estado Localización permanente Localización actual Fecha adquisición Datos del ítem (Volumen, Tomo) Signatura completa Código de barras Fecha última consulta Número de ejemplar Coste, precio de reemplazo Propiedades de Préstamo KOHA Código de colección Fecha de Descarte Programa Académico
            Biblioteca Jorge Álvarez Lleras Biblioteca Jorge Álvarez Lleras 2004-10-16 Ej. 1 004.01 N464i 014182 2015-05-26 1 56540.57 LIBRO - MATERIAL GENERAL Colección / Fondo / Acervo / Resguardo 2014-10-14 Ingenieria Sistemas