Logické systémy. I. časť - Šišmišová, Dana (Edícia skrípt, 2022)