Moderní logika

Odborná publikace je sestavena z přednášek členů katedry logiky na Karlově universitě, pořádaných v letech 1956–1957 v kursech Lidové university. Kapitoly knihy pojednávají o základních pojmech teorie vyjádření, o teorii výroků, výrokové funkci a kvantifikaci, o teorii tříd, logice vztahů a funkcí, o axiomatické metodě a teorii definice. K porozumění poměrně obtížného textu je zapotřebí všeobecných vědomostí alespoň v rozsahu učebních osnov naší jedenáctiletky.