01064nam a2200253 i 450000100060000000300090000600500170001500700030003200800410003502000180007608000080009410000390010224501770014126000320031830000510035049000580040150500590045965000400051870000410055883000500059985200220064999900170067195201220068853909ES-MaACL20251010161526.0t|031119s1999    sp d         |||| | spa d  a84-8164-291-6  a1641 aFalguera López, José L.94874110aLógica clásica de primer orden b: estrategias de deducción, formalización y evaluación semántica / cJosé L. Falguera López, Concepción Martínez Vidal.  aMadrid : bTrotta, c[1999]  a2 v ; c23 cm + e1 tabla de reglas lógicas.1 aColección Estructuras y procesos. Serie Filosofía8 at. 1. [Sin título] t. 2. Soluciones a los ejercicios 7aLógica matemática2embne9146971 aMartínez Vidal, C., d1961-97847900aEstructuras y procesos. pFilosofía9183056  aES-MaACLjL-26711  c53909d53909  00104070aATENEOMbATENEOMcDEPO2d2008-01-17eSCl0oL-26711p1056654r2023-02-23 00:00:00w2023-02-23yMONOGRAFIA