Logické systémy - Kaprálik, Peter; Galanová, Jana; Polakovič, Marcel (Edícia skrípt, 2009)