Logické systémy. Návody na cvičenia. - Bača, Ján (Technická univerzita Košice, 1994)