Raamat annab ülevaate tänapäeva loogikast. Käsitletakse järgmisi teemasid:

Loogika ajalugu alates Aristotelesest kuni analüütilise filosoofiani

Klassikaline loogika kui teadusliku mõtlemise töövahend

Loogika metaprobleemid: formaalsete süsteemide täielikkus ja lahenduvus ning Gödeli teoreemid formaalse aritmeetika mittetäielikkusest

Modaalloogika, intuitsionistlik loogika jt mitteklassikalised loogikad

Loogika rakendused programmeerimises ja tehisintellektis