Ejercicios de lógica
- Madrid Siglo Veintiuno de España 1991
- 137 p. 21 cm.
- Manuales/Lógica .
Ejercicios de lógica. Tipos de discurso Formalización de lógica proposicional Método de validación Deducción natural (pruebas formales) Simbolización de predicados de primer orden Cálculo de árboles.