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, pp. 21–40. Available at: https://didacticammath.uken.krakow.pl/article/view/3674 (Accessed: 29 April 2024).