Vista normal Vista MARC Vista ISBD

Falguera López, José L

Lógica clásica de primer orden : Estrategias de deducción, formalización y evaluación semántica José L. Falguera López, Concepción Martínez Vidal. - Madrid : Trotta, 1999. - 2 v : gráficos ; 23 cm. - Estructuras y Procesos. .

t.1 (38711).-- t. 2 Soluciones de ejercicios (38712).

Incluye referencias bibliográficas.

ISBN: 8481642916 (Obra completa)

Subjects--Topical Terms:
Teoría lógica
Enunciados
Deducción
Semántica
Axiomas
Razonamiento

Dewey Class. No.: 160