Grundläggande logik

Detta är en lärobok i elementär logik för studenter i datavetenskaperna, matematik eller filosofi, eller för vem som helst som vill lära sig logikens grunder. Tillräckliga förkunskaper är två eller tre års matematik från gymnasiet. Bokens innehåll och utformning gör den lämpad som förberedelse för utbildningen i logikprogrammering, kunskapsrepresentation och artificiell intelligens. Den kan också ingå som led i utbildningarna i filosofi, vetenskapsteori och diskret matematik.

Innehållet täcker grundläggande satslogik och predikatlogik samt elementär mängdteori. Dessutom ger boken en utförlig inledning till logikprogrammeringens logiska grundvalar. Ett appendix innehåller bl a bevis för fullständighetsteoremen.
I boken eftersträvas klarhet i definitioner och exemplifieringar av begreppen. Ett annat karakteristiskt drag är att stor vikt lägges vid träningen i det logiska hantverket. Detta syfte uppnås genom precisa formuleringar av problemtyper, lösningsmetoder och heuristiska regler samt genom ett stort antal grundligt utarbetade och kommenterade typexempel. Författarens erfarenhet är att detta bidrar till att hos läsaren snabbt utveckla en avsevärd kompetens och färdighet i logik. Dessutom innehåller boken ovanligt många övningar. Fjärde upplagan har utökats med ytterligare övningar.