Lógica clásica de primer orden estrategias de deducción, formalización y evaluación semántica
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | 991002536199706719 |
| Language: | Castellano |
| Published: |
Madrid :
Trotta
1999
|
| Series: | Colección Estructuras y procesos. Serie Filosofía
|
| Subjects: | |
| See on 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 |
| Item Description: | Inclou solucionari |
|---|---|
| Physical Description: | 2 v. (482, 167 p.) : gràf., taules; 23 cm + 1 formulari ([4] p. ; 23 cm) |
| Bibliography: | Bibliografia |
| ISBN: | 9788481642919 9788481643176 9788481643183 |
