1. Bajguz, W., Czuba, S.T.: Zbiór zadań z topologii w PC Mizar (A Collection of Exercises on Topology in PC Mizar), Zeszyt 1–5, Oddzial Regionalny Ogólnopolskiej Edukacji Komputerowej, Bialystok (1989-90)
2. Mostowski, M., Trybulec, Z.: A Certain Experimental Computer Aided Course of Logic in Poland. In: Proceedings of World Conference on Computer in Education, IFIP/AFIPS, Norfolk, North Holland (1985)
3. Padlewska, B.: Family of sets. Formalized Mathematics 1, 147–152 (1990), avaliable also from
http://www.mizar.org/fm/1990-1/pdf1-1/setfam_1.pdf
4. Popper, K.R.: The Logic of Scientific Discovery. Hutchinson Education, London (1959)
5. Prażmowski, K., Rudnicki, P.: Kurs Logiki w Mizarze–MSE (Course in Logic in Mizar–MSE), Monthly DELTA, No 9 and next ones, Warsaw (1983–1984)