TY  - BOOK
TI  - Lógica
SN  - 84-8164-045-X
U1  - 160 
PY  - 1995///
CY  - Madrid
PB  - Consejo Superior de Investigaciones Científicas CSIC
KW  - Lógica
N1  - CONTENIDO: --Historia de la lógica --Lógica clásica del primer orden --Lógica de orden superior --Lógica deóntica --Lógica e inteligencia artificial --Lógica paraconsistente --Lógica epistémica --Lógica temporal --Lógica cuántica --Lógica de la relevancia --Computabilidad --Lógica modal --Lógicas multivalentes
ER  -