Lógica clàsica de primer orden
Subtitle: estrategias de deducción, formalización y evaluación semántica
By: José L. Falguera López, Concepción Martínez Vidal.
Contributors: Martínez Vidal, Concepción, aut.
Series: Colección Estructuras y procesos. Serie filosofía
Publisher: Editorial Trotta
Published: 1999
Place of publication: Madrid
Language: spa
Number of pages: 167
Notes: Incluye: V.2. Soluciones a los ejercicios.