GitHub repository: vladimirtischler/lpi
Description: Logika pre informatikov a Úvod do matematickej logiky 2023/24