Lógica clásica de primer ordenestrategias de deducción, formalización y evaluación semántica
Publisher: Trotta
ISBN: 84-8164-291-6
Year of publication: 1999
Type: Book
Publisher: Trotta
ISBN: 84-8164-291-6
Year of publication: 1999
Type: Book