Loogika

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