Výuka v ZS 2014/2015:

Logika a teorie množin

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