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.
Por: Falguera López, José L.
Colaborador(es): Martínez Vidal, Concepción.
Series Estructuras y Procesos.Editor: Madrid : Trotta, 1999Descripción: 2 v : gráficos ; 23 cm.ISBN: 8481642916 (Obra completa).Tema(s): Teoría lógica | Enunciados | Deducción | Semántica | Axiomas | RazonamientoClasificación CDD: 160Tipo de ítem | Ubicación actual | Signatura | Vol info | Copia número | Estado | Fecha de vencimiento |
---|---|---|---|---|---|---|
Libros | Biblioteca Laura Manzo - Universidad Nacional de Quilmes SALA | 160 FAL (Navegar estantería) | 1 | 1 | Disponible |
t.1 (38711).-- t. 2 Soluciones de ejercicios (38712)
Incluye tabla de reglas lógicas.
Incluye referencias bibliográficas.