Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica - Falguera, José Luis; Martínez Vidal, Concepción 1961- (Madrid Trotta, 1999)
v. 1. [Sin título] (482 p.) -- v. 2. Soluciones a los ejercicios (167 p.)
Keywords: Lógica