| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01155nam a2200217 a 4500 |
| 003 - IDENTIFICADOR DE NUMERO DE CONTROL |
|---|
| campo de control |
AR-CdUNLAR |
| 005 - FECHA ULTIMA MODIFICACION |
|---|
| campo de control |
20170217181305.0 |
| 008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACION GENERAL |
|---|
| campo de control de longitud fija |
091014s1996 spac | 001 0 spa |
| 020 ## - NUMERO INTERNACIONAL NORMALIZADO PARA LIBROS (ISBN) |
|---|
| International Standard Book Number |
8479782404 |
| 080 ## - NUMERO DE CLASIFICACION DECIMAL UNIVERSAL (CDU) |
|---|
| Número de la Clasificación Decimal Universal |
004:164 |
| 900 ## - BIBLIOTECARIO RESPONSABLE |
|---|
| Carga de datos |
SN |
| 100 1# - ASIENTO PRINCIPAL--NOMBRE PERSONAL |
|---|
| Nombre personal |
Arenas Alegría, Lourdes. |
| 245 10 - MENCION DE TITULO |
|---|
| Título propiamente dicho |
Lógica formal para informáticos / |
| Mención de responsabilidad, etc. |
Lourdes Arena Alegría. |
| 260 ## - PUBLICACION, DISTRIBUCION, ETC. (PIE DE IMPRENTA) |
|---|
| Lugar de publicación, distribución, etc. |
Madrid : |
| Nombre del editor, distribuidor, etc. |
Díaz de Santos, |
| Fecha de publicación, distribución, etc. |
1996. |
| 300 ## - DESCRIPCION FISICA |
|---|
| Extensión |
331 p. ; |
| Dimensiones |
24 cm. |
| 590 ## - NOTAS LOCALES |
|---|
| Nota local |
Primera parte. Cáculo de proposiciones. 1. Intruducción. 2. Métodos semántico. teoría interpretativa. 3. Teoría de la demostración. 4. Coherencia entre la teoría interpretativa y la teoría de la demostración. Parte segunda: Cálculo de predicados de primer orden. 5. Introducción. 6. Métodos semántico. teoría interpretativa. 7. Teoría de la demostración. 8. Coherencia entre la teoría semántica y la teoría de la demostración. Parte tercera. Demostración automática de teoremas. 9. Introducción a la demostración automática de teoremas. 10. Principios de resolución. |
| 650 17 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Sistemas. |
| 650 17 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Informática. |
| 650 17 - ASIENTO SECUNDARIO DE MATERIA - TERMINO TEMATICO |
|---|
| Término temático o nombre geográfico como elemento de entrada |
Lógica formal. |
