Logické systémy : cvičení - Kubátová, Hana (Vydavatelství ČVUT, 1994)