Logické systémy : návody na cvičenia - Bača, Ján (Dočasné vysokoškolské učebnice, 1980)