Livro

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

Mostrar outras versões (1)
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
Descrição
Descrição do item:t.1 (38711).-- t. 2 Soluciones de ejercicios (38712)
Incluye tabla de reglas lógicas.
Descrição Física:2 v : gráficos ; 23 cm.
Bibliografia:Incluye referencias bibliográficas.
ISBN:8481642916 (Obra completa)

Registros relacionados