Logické systémy. Cvičení - Douša, Jiří (České vysoké učení technické v Praze, 1984)