Bemærk: Kan leveres før jul.
Forventes på lager: 20-09-2006
Formel logik er en grundlæggende, lettilgængelig indføring i klassisk doms- og prædikatslogik beregnet til undervisning på universitetsniveau. Den fokuserer på de semantiske metoder - sandhedstabeller og semantiske træer - frem for bevisteori. Derved giver den et klart og let tilgængeligt overblik over logiske nøglebegreber som ´gyldighed´, ´formalisering´, ´fortolkning´, ´model´ og ´modeksempel´. Dens kontante og præcise form såvel som de mange pædagogiske eksempler og øvelser har gjort den til en populær lærebog på introducerende logikkurser i gymnasiet og på videregående uddannelsesinstitutioner i Storbritannien, Australien og USA.
Med denne oversættelse foreligger den nu for første gang på dansk.
| Forlag | Aarhus Universitetsforlag |
| Forfattere | Crispin Wright, Stephen Read |
| Type | Bog |
| Format | Hæftet |
| Sprog | Dansk |
| Udgave | 1. (20-09-2006) |
| Oplag | 2. (26-09-2011) |
| Første udgivelsesår | 2006 |
| Oversætter | Lars Bo Gundersen¤Jens Kristian Mathiasen |
| Originalsprog | Engelsk |
| Sideantal | 93 |
| Indbinding | Hæftet |
| Mål og vægt | B: 158mm, H: 230mm, D: 6mm, Vægt: 202g |
| ISBN-13 / EAN-13 | 9788779341142 |