Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica

Detalles Bibliográficos
Autor principal: Falguera López, José L. (-)
Otros Autores: Martínez Vidal, Concepción
Formato: Libro
Idioma:Castellano
Publicado: Madrid : Trotta 1999.
Colección:Estructuras y procesos. Serie filosofia
Materias: