COMPUTATIONAL LOGIC AND PROOF THEORY : (Registro nro. 6605)
[ vista simple ]
| 000 -LEADER | |
|---|---|
| campo de control de longitud fija | 01094 a2200313 4500 |
| 001 - NÚMERO DE CONTROL | |
| campo de control | ITTG6778 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| campo de control | OSt |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20251022152111.0 |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 241215s 1993 |||||||||||||||||| #d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 3-540-57184-1 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | ITTG |
| Centro/agencia transcriptor | ITTG |
| 041 ## - CÓDIGO DE IDIOMA | |
| Código de lengua del texto/banda sonora o título independiente | Español |
| 082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY | |
| Número de clasificación | 004 L43 V.713 |
| 111 ## - ENTRADA PRINCIPAL--NOMBRE DE CONGRESO/REUNIÓN | |
| Nombre de congreso/reunión o jurisdicción como elemento de entrada | KURT GODEL COLLOQUIUM (3rd : 1993 : BRNO, CHEC.) |
| 245 ## - MENCIÓN DEL TÍTULO | |
| Título | COMPUTATIONAL LOGIC AND PROOF THEORY : |
| Resto del título | THIRD KURD GODEL COLLOQUIUM KGC'93, BRNO, CZECH REPUBLIC, AUGUST 1993 : |
| -- | PROCEEDINGS/ |
| Mención de responsabilidad, etc. | G. GOTTLOB, A. LEITSCH, D. MUNDICI, EDS. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Lugar de publicación, distribución, etc. | BERLIN: |
| Nombre del editor, distribuidor, etc. | SPRINGER-VERLAG |
| Fecha de publicación, distribución, etc. | \\\\ |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | 348 P. |
| Dimensiones | 24 CM |
| 490 ## - MENCIÓN DE SERIE | |
| Mención de serie | LECTURE NOTES IN COMPUTER SCIENCE |
| Designación de volumen o secuencia | 713 |
| 500 ## - NOTA GENERAL | |
| Nota general | INCLUYEBIBLIOGRAFIAS E INDICE. |
| 562 ## - NOTA DE IDENTIFICACIÓN DE LA COPIA Y VERSIÓN | |
| Número de copias | 3 |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | 1.COMPROBACION DE TEOREMA AUTOMATICO - CONGRESOS. |
| 650 ## - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | 2.MATEMATICAS Y SIMBOLOS LOGICOS - CONGRESOS. |
| 700 ## - ENTRADA AGREGADA--NOMBRE PERSONAL | |
| Nombre de persona | GOTTLOB, GEORG. |
| 700 ## - ENTRADA AGREGADA--NOMBRE PERSONAL | |
| Nombre de persona | LEITSCH, ALEXANDER. |
| 700 ## - ENTRADA AGREGADA--NOMBRE PERSONAL | |
| Nombre de persona | MUNDICI, DANIELE. |
| 710 ## - ENTRADA AGREGADA--NOMBRE DE ENTIDAD CORPORATIVA | |
| Nombre de entidad corporativa o nombre de jurisdicción como elemento de entrada | KURT GODEL SOCIETY. \ KGC'93. |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) | |
| Fuente de la clasificación o esquema de estantería | Clasificación Decimal Dewey |
| Tipo de ítem Koha | Libros |
| Edición | 20090813 14:23:30 |
| 945 ## - PROCESAMIENTO DE INFORMACIÓN LOCAL (OCLC) | |
| d | 3711 |
| c | Germán Gutiérrez |
| Estatus retirado | Estado de pérdida | Fuente de la clasificación o esquema de estantería | Estado de daño | No para préstamo | Biblioteca de origen | Biblioteca actual | Ubicación en estantería | Fecha de adquisición | Total de préstamos | Signatura topográfica completa | Código de barras | Visto por última vez | Copia número | Precio de reemplazo | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Clasificación Decimal Dewey | Centro de información documental. Prof Andrés Fabregas Roca (CENINFAFR) | Centro de información documental. Prof Andrés Fabregas Roca (CENINFAFR) | Sala general | 13/08/2009 | 004 L43 V.713 | 20659 | 15/01/2025 | ej.1 | 15/01/2025 | Libros | |||||
| Clasificación Decimal Dewey | Centro de información documental. Prof Andrés Fabregas Roca (CENINFAFR) | Centro de información documental. Prof Andrés Fabregas Roca (CENINFAFR) | Sala general | 13/08/2009 | 004 L43 V.713 | 20660 | 15/01/2025 | ej.2 | 15/01/2025 | Libros | |||||
| Clasificación Decimal Dewey | Centro de información documental. Prof Andrés Fabregas Roca (CENINFAFR) | Centro de información documental. Prof Andrés Fabregas Roca (CENINFAFR) | Sala general | 13/08/2009 | 004 L43 V.713 | 20661 | 15/01/2025 | ej.3 | 15/01/2025 | Libros |