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
Ülevaated
Pole ühtegi ülevaadet.