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