Med utviklingen av nye fagområder og anvendelser, som automatisert teoremproving og logikkprogrammering, har logikk fått en ny og viktig rolle innen datavitenskap. Den tradisjonelle matematiske tilnærmingen til logikk er ikke alltid tilpasset de spesifikke behovene i datavitenskapens applikasjoner. Denne boken legger vekt på de aspekt som er relevante for datavitenskap innen logikk. Innholdet i boken stammer fra en serie forelesninger som ble holdt i 1986 og 1987 om datavitenskapelig logikk ved EWH Universitetet i Koblenz, Tyskland. Hensikten med disse forelesningene var å gi bachelorstudenter et tidlig og teoretisk fundamentert innblikk i moderne anvendelser av logikk innen datavitenskap. Det kreves kun en minimal matematisk bakgrunn, som forståelse av notasjonen og kjennskap til grunnleggende matematiske bevismetoder som induksjon. Mer avansert matematisk kunnskap er ikke en forutsetning for å lese denne boken. Kjennskap til et konvensjonelt programmeringsspråk, som PASCAL, er antatt.
