Zajęcia dydaktyczne z systemem MIZAR
Podstawy logiki i teorii mnogości
(I rok Informatyki)
Metody konstruktywne w informatyce
(II rok Informatyki)
Softadm