Logické systémy : Laboratórne cvičenia - Bača, Ján (Alfa, 1987)