Entry TÉRMINO TEMÁTICO

Number of records used in: 1

001 - NUMERO DE CONTROL DEL REGISTRO

• campo de control: 346047

003 - IDENTIFICADOR DEL NUMERO DE CONTROL

• campo de control: ES-SlBCS

005 - FECHA Y HORA DE LA ULTIMA TRANSACCION

• campo de control: 20210327230545.0

008 - ELEMENTOS DE LONGITUD FIJA

• campo de control de longitud fija: 210327|| aca||aabn | a|a d

040 ## - FUENTE DE LA CATALOGACION

• Agencia que crea de manera original el registro: ES-SlBCS
• Agencia que realiza la transcripción: ES-SlBCS

150 ## - ENCABEZAMIENTO - TEMÁTICO

• Encabezamiento temático: Lógica Pura

670 ## - FUENTE EN LA QUE SE LOCALIZARON DATOS

• Cita de la fuente: Work cat.: (ES-SlBCS)773736: López Brugos, José Antonio 241824, La prueba automática de teoremas lógicos (PATL) en la lógica pura y en la filosofía de la lógica