Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica

Lógica clásica de primer orden estrategias de deducción, formalización y evaluación semántica

Bibliographic Details
Main Author: Falguera López, José L. (-)
Other Authors: Martínez Vidal, Concepción
Format: Book
Language:Castellano
Published: Madrid : Trotta D.L. 1999
Series:Colección Estructuras y procesos. Serie Filosofía
Subjects:
Lógica > Tratados, manuales, etc.
See on Universidad de Navarra:https://unika.unav.edu/discovery/fulldisplay?docid=alma991002952209708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es
Description
Physical Description:2 v. ; 23 cm
Bibliography:Incluye referencias bibliográficas (p. 477-482)
ISBN:9788481642919

Similar Items