00951nam a2200253 i 4500 53909 ES-MaACL 20251010161526.0 t| 031119s1999 sp d |||| | spa d 84-8164-291-6 164 Falguera López, José L. 48741 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. Madrid : Trotta, [1999] 2 v ; 23 cm + 1 tabla de reglas lógicas. Colección Estructuras y procesos. Serie Filosofía t. 1. [Sin título] t. 2. Soluciones a los ejercicios Lógica matemática embne 14697 Martínez Vidal, C., 1961- 78479 Estructuras y procesos. Filosofía 183056 ES-MaACL L-26711 53909 53909 0 0 0 0 ATENEOM ATENEOM DEPO2 2008-01-17 SC 0 L-26711 1056654 2023-02-23 00:00:00 2023-02-23 MONOGRAFIA