Výroková a predikátová logika
Completion requirements
Click EM - Predikátový počet_2018.pdf link to view the file.