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

Saved in:

Bibliographic Details
Main Author:	Falguera López, José L
Other Authors:	Martínez Vidal, Concepción
Format:	Book
Language:	Spanish
Published:	Madrid : Trotta, 1999.
Series:	Estructuras y Procesos.
Subjects:	Teoría lógica Enunciados Deducción Semántica Axiomas Razonamiento

Book

Lógica clásica de primer orden : Estrategias de deducción, formalización y evaluación semántica by Falguera López, José L

Published 1999