Denne boken er en grundig innføring i matematisk logikk, tilpasset lesere uten tidligere erfaring med emnet. Teksten er både uformell og rigorøs, og dekker innholdet av et standard første kurs i matematisk logikk på universitetsnivå. Den benytter seg av naturlig deduksjon og fører leseren frem mot fullstendighetsteoremet for førstegangs logikk. Hver del av teksten gir leseren en intuitiv forståelse basert på vanlig matematisk praksis, som så bygges ut med presise formelle matematiske begreper. Gjennom praktiske eksempler lærer leserne hva som kan og ikke kan beregnes; for eksempel kan man mekanisk teste korrektheten av en herledning som beviser en gitt sekvens, men det finnes ingen generell mekanisk test for eksistensen av en herledning som beviser en slik sekvens. Resultatene om udeltagelighet blir bevist grundig i et valgfritt kapittel på slutten, der Matiyasevich's teorem om karakterisering av de databehandlelige relasjonene benyttes. Boken gir strenge bevis for adekvans og fullstendighetsbevis for de relevante logikkene, med nøye oppmerksomhet til språkene som benyttes.
