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-23 | 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 |
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.