LOGICA CLASICA DE PRIMER ORDEN : ESTRATEGIAS DE DEDUCCIONES, FORMALIZACION Y EVALUACION SEMANTICA - Falguera López, José L. (ESTRUCTURAS Y PROCESOS. SERIE FILOSOFIA, 1999)
INCLUYE BIBLIOGRAFIA