Lógica clásica de primer ordenestrategias de deducción, formalización y evaluación semántica
Editorial: Madrid : Trotta, D.L.1999
ISBN: 84-8164-317-3, 84-8164-318-1
Ano de publicación: 1999
Tipo: Libro
Editorial: Madrid : Trotta, D.L.1999
ISBN: 84-8164-317-3, 84-8164-318-1
Ano de publicación: 1999
Tipo: Libro