Logické systémy - Bača, Ján (Vysokoškolské učebné texty, 1992)