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

Autor principal: Falguera, José Luis
Otros autores: Martínez Vidal, Concepción (1961-)
Formato: Libro
Publicación: Madrid : Trotta, D.L. 1999
Descripción física: 2 v. : gráf. ; 23 cm
Clasificación CDU: 161
Contenido: v. 1. [Sin título] (482 p.) -- v. 2. Soluciones a los ejercicios (167 p.)
Colección: Colección Estructuras y Procesos (Trotta). Serie Filosofía
Materias:
ISBN: 84-8164-317-3 (v. 1.)
84-8164-318-1 (v. 2.)
LEADER 01608nam a2200373 4500
001 000000241909
003 CaOOAMICUS
005 20220927191749.0
008 220927s1999 sp d 001 u spa d
020 |a 84-8164-317-3 (v. 1.) 
020 |a 84-8164-318-1 (v. 2.) 
040 |a FTG  |b spa 
080 |a 161 
100 1 |a Falguera, José Luis 
245 1 0 |a Lógica clásica de primer orden :  |b estrategias de deducción, formalización y evaluación semántica /  |c José L. Falguera López, Concepción Martínez Vidal 
260 |a Madrid  |b Trotta  |c D.L. 1999 
300 |a 2 v. :  |b gráf. ;  |c 23 cm 
490 0 |a Colección Estructuras y Procesos. Serie Filosofía 
505 0 |a v. 1. [Sin título] (482 p.) -- v. 2. Soluciones a los ejercicios (167 p.) 
650 1 4 |a Lógica 
700 1 |a Martínez Vidal, Concepción  |d 1961- 
830 0 |a Colección Estructuras y Procesos (Trotta).  |p Serie Filosofía 
850 |a FTGR 
900 1 |a Falguera López, José L. 
900 1 |a Falguera López, José Luis 
900 1 |a Martínez Vidal, C.  |d 1961- 
900 1 |a Martínez, Concha  |d 1961- 
902 |a Novedad 
952 |3 Prestable  |a FACULTAD TEOLOGICA DE GRANADA  |b Facultad de Teología de Granada Compañía de Jesús  |c Granada - General  |d 27-09-2022  |f 7  |i 274995  |o 161 F18j 1999 1  |p 274995  |q R. 214755 
952 |3 Prestable  |a FACULTAD TEOLOGICA DE GRANADA  |b Facultad de Teología de Granada Compañía de Jesús  |c Granada - General  |d 27-09-2022  |f 7  |i 274996  |o 161 F18j 1999 2  |p 274996  |q R. 214755 
990 1 0 |a 90001a  |b 10001a 
990 1 0 |a 90002a  |b 10001a 
990 1 0 |a 90003ad  |b 70001ad 
990 1 0 |a 90004ad  |b 70001ad