Boken ‘Logic: Techniques of Formal Reasoning, 2/e’ fungerer som en grundig innføring i formell logikk, og har som mål å hjelpe studenter med å gjenkjenne og konstruere korrekte slutninger. Den leder leserne gjennom hele den logiske prosessen, fra premiss til konklusjon, og presenterer nødvendige symboler og termer samtidig som den gir eksempler som belyser de grunnleggende prinsippene. I denne utgaven benyttes modeller for å påvise ugyldighet av argumenter, og boken inneholder øvingsoppgaver i ulik vanskelighetsgrad. Løsninger til utvalgte oppgaver er også inkludert, i tillegg til historiske bemerkninger som fremhever betydelige bidrag til de aktuelle teoriene.
