Logické systémy. Cvičení - Kubátová, Hana (České vysoké učení technické v Praze, 1994)