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