Propositional calculus - Kutáš, Michal (Typi Universitas Tyrnaviensis, 2015)