Logické systémy - Kaprálik, Galanová, Polakovič