Mathematical logic / (Registro nro. 19855)
[ vista simple ]
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 |
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 |