Denne boken presenterer matematisk logikk gjennom en unik pedagogisk tilnærming som veileder studenter i implementeringen av grunnleggende logiske konsepter og matematiske bevis ved hjelp av Python-programmering. Metoden er skreddersydd for den stadig voksende gruppen av programmeringskyndige studenter, noe som gjør at matematisk logikk blir tilgjengelig og intuitiv for dem. Denne tilnærmingen gir en klarhet som kun kan oppnås gjennom dyp praktisk forståelse og tilfredsstillelsen av å ha utviklet fungerende kode. Boken dekker de samme emnene som vanligvis inngår i et én-semesters bachelorkurs, inkludert proposisjonell logikk og førsteordens predikatlogikk, og avsluttes med et bevis av Gödels fullstendighetsteorem. Den gir også en smakebit på Gödels ufullstendighetsteorem. Teksten inkluderer en omfattende samling av programmeringsoppgaver, kode-skjeletter og enhetstester. Leserens kjennskap til bevis og grunnleggende ferdigheter i Python vil være en fordel.
