Lógica clásica de primer ordenestrategias de deducción, formalización y evaluación semántica
Publisher: Madrid : Trotta, D.L.1999
ISBN: 84-8164-317-3, 84-8164-318-1
Year of publication: 1999
Type: Book
Publisher: Madrid : Trotta, D.L.1999
ISBN: 84-8164-317-3, 84-8164-318-1
Year of publication: 1999
Type: Book