Mizar Course in Logic and Set Theory. - Ewa Borak; Anna Zalewska (Calculemus/MKM, 2007)