La prueba automática de teoremas lógicos (PATL) en la lógica pura y en la filosofía de la lógica (Record no. 773736)
[ view plain ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 00686naa a2200145Ia 4500 |
| 003 - IDENTIFICADOR DEL NÚMERO DE CONTROL | |
| Campo de control | ES-SlBCS |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| Campo de control | 20210601152345.0 |
| 008 - CÓDIGOS DE INFORMACIÓN DE LONGITUD FIJA | |
| Campo de control de longitud fija | 140520s1983 xxu||||| |||| 00| 0 spa d |
| 041 ## - CÓDIGO DE LENGUA | |
| Código de lengua del texto/banda sonora o título independiente | spa |
| 100 1# - PUNTO DE ACCESO PRINCIPAL-NOMBRE DE PERSONA | |
| Nombre de persona | López Brugos, José Antonio |
| 9 (RLIN) | 241824 |
| 245 00 - MENCIÓN DE TÍTULO | |
| Título | La prueba automática de teoremas lógicos (PATL) en la lógica pura y en la filosofía de la lógica |
| Mención de responsabilidad, etc. | José Antonio López Brugos |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA-TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento inicial | Lógica Pura |
| 9 (RLIN) | 346047 |
| 773 0# - ENLACE AL DOCUMENTO FUENTE | |
| Título | Comunicaciones presentadas al IIº Congreso de Teoría y Metodología de las Ciencias : / Alberto Hidalgo Tuñón, Julián Velarde Lombraña |
| Lugar, editor y fecha de publicación | Oviedo : Sociedad Asturiana de Filosofía, 1983 |
| Parte(s) relacionada(s) | , págs. 251-256 |
| Número Internacional Normalizado para Libros (ISBN) | 84-85422-54-6 |
| Número de control del registro relacionado | VA72305 |
| 942 ## - ENTRADA DE ELEMENTOS AGREGADOS (KOHA) | |
| Koha [por defecto] tipo de item | Artículo de colaboración |
| Suprimido | Perdido | Estropeado | No para préstamo | Localización permanente | Localización actual | Localización en estantería | Fecha adquisición | Préstamos totales | Signatura completa | Fecha última consulta | Fecha del precio de reemplazo | Tipo de item de Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| San Esteban | San Esteban | Depósito de libros | 11/07/2014 | 30/B3 | 11/07/2014 | 11/07/2014 | Artículo de colaboración |