Borak, Ewa. “System Komputerowy Mizar narzędziem Do Komputerowego Wspomagania Nauczania W Szkole wyższej”. Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia 3 (July 7, 2017): 21–40. Accessed April 29, 2024. https://didacticammath.uken.krakow.pl/article/view/3674.