Isabelle/ (Registro nro. 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 LIBRO - MATERIAL GENERAL
Existencias
Disponibilidad Mostrar en OPAC Fuente de clasificación o esquema Tipo de Descarte Estado Código de colección Localización permanente Localización actual Fecha adquisición Proveedor Forma de Adq Precio normal de compra Datos del ítem (Volumen, Tomo) Préstamos totales Signatura completa Código de barras Fecha última consulta Número de ejemplar Coste, precio de reemplazo Propiedades de Préstamo KOHA Fecha de Descarte Programa Académico
        Préstamo Normal Colección / Fondo / Acervo / Resguardo Bodega Bodega 2004-01-16 Amazon Compra 88785.00 Ej. 1   004.01 N464i 014182 2015-05-26 1 56540.57 LIBRO - MATERIAL GENERAL 2014-10-14 Ingenieria Sistemas