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