Mathematical logic / (Registro nro. 19855)

000 -CABECERA
Campo de control de longitud fija 02278cam a2200289 a 4500
001 - NÚMERO DE CONTROL
Campo de control 2526025
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
Campo de control 20170126083147.0
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA
DESCRIPCIÓN FÍSICA ta
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL
Campo de control de longitud fija 931227s1994 nyua frb 001 0 eng
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER)
ISBN 9780387942582
040 ## - FUENTE DE CATALOGACIÓN
Agencia de catalogación original DLC
Agencia que realiza la transcripción DLC
Agencia que realiza la modificación DLC
041 1# - CÓDIGO DE IDIOMA
Código de idioma para texto, pista de sonido o título separado eng
Código del idioma de la versión original y/o traducciones intermedias del texto ger
082 00 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación Decimal 511.3
Número de edición DEWEY 20
Número de documento (Cutter) E154
100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL
Nombre de persona Ebbinghaus, Heinz Dieter
9 (RLIN) 38176
240 10 - TÍTULO UNIFORME
Título uniforme <a href="Einführung in die mathematisch Logik.">Einführung in die mathematisch Logik.</a>
Idioma de una obra English
245 10 - TÍTULO PROPIAMENTE DICHO
Título Mathematical logic /
Mención de responsabilidad, etc. H D. Ebbinghaus, J. Flum, W. Thomas
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 2a.ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc. New York :
Nombre del editor, distribuidor, etc. Springer Verlag;
Fecha de publicación, distribución, etc. 1994.
300 ## - DESCRIPCIÓN FÍSICA
Extensión X, 289 p. :
Otros detalles físicos il. ;
Dimensiones 25 cm.
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Bibliografía, etc. Incluye referencias bibliográficas e indice.
520 ## - RESUMEN, ETC.
Nota de sumario, etc. ¿Qué es una prueba matemática? ¿Cómo pueden justificarse las pruebas? ¿Hay limitaciones a la demostración? ¿Hasta qué punto pueden las máquinas realizar pruebas matemáticas? Sólo en este siglo ha habido éxito en la obtención de respuestas sustanciales y satisfactorias. El presente libro contiene una discusión sistemática de estos resultados. Las investigaciones se centran en la lógica del primer orden. Nuestro primer objetivo es el teorema de la integridad de Gödel, que muestra que la relación secuencial coincide con la demostración formal: Mediante un cálculo que consiste en simples reglas de inferencia formal, se pueden obtener todas las consecuencias de un sistema axiomático dado (y en particular imitar Todas las pruebas matemáticas). Una breve digresión en la teoría de modelos nos ayudará a analizar el poder expresivo del lenguaje de primer orden, y resultará que hay ciertas deficiencias. Por ejemplo, el lenguaje de primer orden no permite la formulación de un sistema de axiomas adecuado para la aritmética o el análisis. Por otra parte, esta dificultad puede ser superada -incluso en el marco de la lógica del primer orden- desarrollando matemáticas en términos de teoría de conjuntos. Explicamos los prerrequisitos de la teoría de conjuntos necesarios para este propósito y luego tratamos la relación sutil entre la lógica y la teoría de conjuntos de una manera completa.
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
Nombre de materia o nombre geográfico como elemento de entrada LOGICA MATEMATICA
9 (RLIN) 5298
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
Nombre de materia o nombre geográfico como elemento de entrada MATEMÁTICAS
9 (RLIN) 3378
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL
Nombre de persona Flum, Jörg.
9 (RLIN) 38177
700 1# - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL
Nombre de persona Thomas, Wolfgang
9 (RLIN) 38178
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 Localización en estanterías Fecha adquisición Proveedor Forma de Adq Precio normal de compra Datos del ítem (Volumen, Tomo) Número de Inventario Préstamos totales Signatura completa Código de barras Fecha última consulta Número de ejemplar Propiedades de Préstamo KOHA Programa Académico Renovaciones totales Fecha último préstamo
        Préstamo Normal Colección General Biblioteca Jorge Álvarez Lleras Biblioteca Jorge Álvarez Lleras Fondo general 2017-01-23 Bibliotecnia libros y tecnologias S.A.S-900683422-OC22685 Compra 230000.00 Ej. 1 BIB0002488   511.3 E154 027165 2017-01-26 1 LIBRO - MATERIAL GENERAL Maestría en Gestión de la Información    
        Préstamo Normal Colección General Biblioteca Jorge Álvarez Lleras Biblioteca Jorge Álvarez Lleras Fondo general 2017-01-23 Bibliotecnia libros y tecnologias S.A.S-900683422-OC22685 Compra 230000.00 Ej. 2 BIB0002489 4 511.3 E154 027166 2023-04-11 2 LIBRO - MATERIAL GENERAL Maestría en Gestión de la Información 1 2019-02-12