Lógica clásica de primer orden estrategias de deducción, formalización y evaluación semántica
Autor principal: | |
---|---|
Otros Autores: | |
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 |
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 |