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