Shrnující výklad poznatků z oblasti výrokové logiky, predikátové logiky, algoritmů, intuicionistické logiky, logiky dokazatelnosti, Gödelovy fuzzy logiky, Peanovy a Robinsonovy aritmetiky předpokládá vyšší stupeň oborových znalostí. Publikace se tudíž zaměřuje pouze na erudovanější studenty a vědecké pracovníky z oblasti logiky, matematiky a teoretické informatiky. Zdroj anotace: Městská knihovna v Praze