Výuka v ZS 2014/2015:
Logika a teorie množin
Výroková a predikátová logika - cvičení