Kniha o centrální logice pro vyspělé čtenáře. Důraz je položen v souvislosti s informatikou, na Goedelovy věty o neúplnosti a na některé neklasické logiky.
Oddíl o Goedelově fuzzy logice napsal Petr Hájek.