Es reseña de:
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
Trotta, 1999. ISBN 84-8164-291-6
Calixto Badesa, Ramón Jansana Ferrer, Ignacio Jané
Ariel España, 1998. ISBN 84-344-8748-9
© 2001-2024 Fundación Dialnet · Todos los derechos reservados