Título:Lógica clásica de primer orden estrategias de deducción, formalización y evaluación semántica Autor:Falguera López, José L. ISBN:9788481642919/ Editorial:Trotta Año:1999 Género:Lógica matemática Páginas:2 Dimensiones:23 cm Trotta. Encuadernación en tapa Blanda. Falguera López, José L.. 23 cm. Lógica clásica de primer orden estrategias de deducción, formalización y evaluación semánticaTapa deslucida.Tapa ilustrada.