Borak, E. (2017). System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej. Annales Universitatis Paedagogicae Cracoviensis | Studia Ad Didacticam Mathematicae Pertinentia, 3, 21–40. Retrieved from https://didacticammath.uken.krakow.pl/article/view/3674