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

Na minha lista:

Detalhes bibliográficos
Autor principal:	Falguera López, José L
Outros Autores:	Martínez Vidal, Concepción
Formato:	Livro
Idioma:	espanhol
Publicado em:	Madrid : Trotta, 1999.
coleção:	Estructuras y Procesos.
Assuntos:	Teoría lógica Enunciados Deducción Semántica Axiomas Razonamiento

Livro

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

Publicado em 1999