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