Logické systémy : návody na cvičenia - Bača, Ján (rz1, 1980)