Matematisk logikk for datavitenskap er en omfattende lærebok som kombinerer teoremer og bevis med fokus på emner som er særlig relevante for datavitenskapsstudenter. Boken benytter metoden med semantiske tabeller, en elegant tilnærming som både er teoretisk solid og lett å forstå. Gjennom en konsekvent bruk av tableaux-baserte teknikker, legger boken til rette for at studentene kan lære avanserte logiske systemer basert på det de har fått innblikk i gjennom grunnleggende systemer. De logiske systemene som presenteres inkluderer: proposisjonell logikk, førstegangs logikk, resolusjon og dens anvendelse på logisk programmering, Hoare-logikk for verifisering av sekvensielle programmer, samt lineær tidslogikk for verifisering av samtidige programmer. Den tredje utgaven er fullstendig omskrevet og inkluderer nye kapitler som dekker sentrale temaer innen moderne datavitenskap, inkludert SAT-løsere og modellkontroll.
