Hei logiikka | Lars Bo Gundersen | Kieli: Tanska

Hello Logic tarjoaa pedagogisen johdannon klassiseen logiikkaan. Esimerkkien ja harjoitusten avulla kirjoittaja opastaa lukijaa tuomiolausekkeen ja predikaattilogiikan keskeisiin teemoihin: miten pätevyys liittyy loogiseen muotoon, miten loogisia rakenteita voidaan paljastaa formalisoimalla argumentin elementtejä ja miten loogista muotoa voidaan analysoida totuustaulukoiden ja semanttisten puiden avulla.
Kirjaa voidaan käyttää oppikirjana logiikan kursseilla yläkoulussa ja yliopistossa. Samalla filosofinen näkökulma perusasioihin tekee siitä mielenkiintoisen myös loogisesti kiinnostuneemmille. kirjan nimi viittaa "Hello Logic Machine" -nimiseen logiikkakoneeseen, joka on kirjan tarjoama uudenlainen tapa ymmärtää logiikalle keskeistä funktiokäsitettä. Monien mielestä funktiokäsite tuntuu abstraktiselta ja vaikeasti lähestyttävältä, mutta Hello Logic -kirjan avulla se on helposti ja intuitiivisesti lähestyttävää.