Det finnes mange typer bøker om formell logikk, hver rettet mot forskjellige målgrupper som filosofer, matematikere og datavitere. Denne boken skiller seg ut ved å være spesifikt laget for datavitere med interesse for automatisert bevisføring i klassisk logikk. Den gir en grundig teoretisk behandling av emnet, uten å være en praktisk guide, selv om praktiske aspekter også blir berørt. Boken er ikke bare av interesse for datavitere, men tilbyr også en omfattende presentasjon av formell logikk og ulike bevismetoder, noe som gjør den relevant for både filosofer og matematikere. Leseren kan forvente å finne hele det nødvendige innholdet som normalt ville vært omfattet i et kurs i emnet.
