Výuka v ZS 2015/2016:

Výroková a predikátová logika - cvičení