Logické systémy : zbierka riešených príkladov - Nagy, Lukáš, 1985-; Stopjaková, Viera, 1968- (Edícia skrípt, 2024)