| 000 -CABECERA |
|---|
| campo de control de longitud fija |
01027nam a2200253 a 4500 |
| 003 - IDENTIFICADOR DE NUMERO DE CONTROL |
|---|
| campo de control |
AR-CdUNLAR |
| 005 - FECHA ULTIMA MODIFICACION |
|---|
| campo de control |
20170217183132.0 |
| 008 - ELEMENTOS DE LONGITUD FIJA -- INFORMACION GENERAL |
|---|
| campo de control de longitud fija |
110921s2003 sp||||| |||| 00| 0 spa d |
| 020 ## - NUMERO INTERNACIONAL NORMALIZADO PARA LIBROS (ISBN) |
|---|
| International Standard Book Number |
8497321820 |
| 080 ## - NUMERO DE CLASIFICACION DECIMAL UNIVERSAL (CDU) |
|---|
| Número de la Clasificación Decimal Universal |
510.6 |
| 900 ## - BIBLIOTECARIO RESPONSABLE |
|---|
| Carga de datos |
SN |
| 100 1# - ASIENTO PRINCIPAL--NOMBRE PERSONAL |
|---|
| Nombre personal |
Paniagua Arís, Enrique. |
| 245 10 - MENCION DE TITULO |
|---|
| Título propiamente dicho |
Lógica computacional / |
| Mención de responsabilidad, etc. |
Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio. |
| 260 ## - PUBLICACION, DISTRIBUCION, ETC. (PIE DE IMPRENTA) |
|---|
| Lugar de publicación, distribución, etc. |
Madrid : |
| Nombre del editor, distribuidor, etc. |
Thomson, |
| Fecha de publicación, distribución, etc. |
2003. |
| 300 ## - DESCRIPCION FISICA |
|---|
| Extensión |
xiv, 205 p. : |
| Otros detalles físicos |
il. ; |
| Dimensiones |
25 cm. |
| 504 ## - NOTA DE BIBLIOGRAFIA, ETC. |
|---|
| Nota de bibliografía, etc. |
Indice: p. 201-205. |
| 504 ## - NOTA DE BIBLIOGRAFIA, ETC. |
|---|
| Nota de bibliografía, etc. |
Bibliografía: p. 199-200. |
| 590 ## - NOTAS LOCALES |
|---|
| Nota local |
Capítulo 1. La sintaxis de la lógica. Capítulo 2. La semántica de la lógica. Capítulo 3. El método axiomático. Capítulo 4. El método interpretativo. Capítulo 5. La demostración automática de teoremas. Capítulo 6. Los agentes inteligentes y la lógica. |
| 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 matemática. |
| 700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
|---|
| Nombre personal |
Sánchez González, Juan Luis. |
| 700 1# - ASIENTO SECUNDARIO - NOMBRE PERSONAL |
|---|
| Nombre personal |
Martín Rubio, Fernando. |
