Matematickou logikou se v současné době v České republice zabývá řada badatelů. Neměli bychom zapomínat na to, že tato země má s historií logiky mnoho společného. Průkopník moderního myšlení, matematik, filozof a teolog Bernard Bolzano, který výrazně přispěl ke vzniku moderní logiky, se narodil a žil v Praze. Možná vůbec největší logik 20. století Kurt Gödel se narodil v Brně. Existují nicméně určité obory moderní logiky, které běžní čtenáři v České republice příliš neznají. Tato drobná knížka není primárně určena profesionálním logikům, ale laikům, kteří se s logikou teprve chtějí seznámit. Autor