Applied proof theory : (Registro nro. 19861)
[ vista simple ]
000 -CABECERA | |
---|---|
Campo de control de longitud fija | 01365cam a22002534a 4500 |
001 - NÚMERO DE CONTROL | |
Campo de control | 15133364 |
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
Campo de control | 20170126110931.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 | 080109s2008 gw d frb 001 0 eng |
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER) | |
ISBN | 9783540775324 |
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 |
082 00 - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
Número de clasificación Decimal | 511.36 |
Número de edición DEWEY | 22 |
Número de documento (Cutter) | K792 |
100 1# - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL | |
Nombre de persona | Kohlenbach, U. |
9 (RLIN) | 38193 |
245 10 - TÍTULO PROPIAMENTE DICHO | |
Título | Applied proof theory : |
Parte restante del título | proof interpretations and their use in mathematics / |
Mención de responsabilidad, etc. | Ulrich Kohlenbach. |
260 ## - 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. | 2008. |
300 ## - DESCRIPCIÓN FÍSICA | |
Extensión | XIX, 532 p. : |
Dimensiones | 24 cm. |
Otros detalles físicos | il.; |
490 ## - MENCIÓN DE SERIE | |
Mención de serie | Springer monographs in mathematics |
ISSN | 1439-7382 |
504 ## - NOTA DE BIBLIOGRAFÍA, ETC. | |
Bibliografía, etc. | Incluye referencias bibliográficas e indice. |
520 ## - RESUMEN, ETC. | |
Nota de sumario, etc. | <br/>Este es el primer tratamiento en formato de libro de las transformaciones de la teoría de la prueba - conocido como interpretaciones de la prueba - que se centra en aplicaciones a la matemática ordinaria. Abarca tanto la lógica lógica necesaria detrás de las interpretaciones de prueba que se utilizan en las aplicaciones recientes, así como - a través de estudios de caso extendidos - la realización de algunas de estas aplicaciones en todos los detalles. Este tema tiene raíces históricas en los años cincuenta. Este libro por primera vez cuenta toda la historia. |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | TEORÍA |
9 (RLIN) | 19745 |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | MATEMÁTICAS EN INGENIERÍA |
9 (RLIN) | 33563 |
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA | |
Nombre de materia o nombre geográfico como elemento de entrada | TEOREMAS |
9 (RLIN) | 13944 |
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 | Renovaciones totales | Signatura completa | Código de barras | Fecha última consulta | Fecha último préstamo | Número de ejemplar | Propiedades de Préstamo KOHA | Programa Académico |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Préstamo Normal | Colección General | Biblioteca Jorge Álvarez Lleras | Biblioteca Jorge Álvarez Lleras | Fondo general | 2017-01-30 | Librería técnica y de ingeniería LTDA-830090912-OC22923 | Compra | 315000.00 | Ej. 1 | BIB0002497 | 3 | 6 | 511.36 K792 | 027173 | 2023-08-22 | 2023-08-15 | 1 | LIBRO - MATERIAL GENERAL | Departamento de Matemáticas |