BORAK, E. System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej. Annales Universitatis Paedagogicae Cracoviensis | Studia ad Didacticam Mathematicae Pertinentia, [S. l.], v. 3, p. 21–40, 2017. Disponível em: https://didacticammath.uken.krakow.pl/article/view/3674. Acesso em: 28 apr. 2024.