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

Detalles Bibliográficos
Autor principal: Falguera López, José Luis (-)
Otros Autores: Martínez Vidal, C., 1961-
Formato: 991002536199706719
Idioma:Castellano
Publicado: Madrid : Trotta 1999
Colección:Colección Estructuras y procesos. Serie Filosofía
Materias:
Ver en Biblioteca Pública Episcopal del Seminario de Barcelona:https://csuc-instb.primo.exlibrisgroup.com/discovery/search?query=any,contains,991002959230806707&tab=BPEBcat&search_scope=BPEB&vid=34CSUC_INSTB:BPEB&offset=0
Descripción
Notas:Inclou solucionari
Descripción Física:2 v. (482, 167 p.) : gràf., taules; 23 cm + 1 formulari ([4] p. ; 23 cm)
Bibliografía:Bibliografia
ISBN:9788481642919
9788481643176
9788481643183