@article{AUPCDM_2010_3_1_a1,
     author = {Borak, Ewa},
     title = {System komputerowy {Mizar} narz\k{e}dziem do komputerowego wspomagania nauczania w szkole wy\.zszej},
     journal = {Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia},
     pages = {21--40},
     publisher = {mathdoc},
     volume = {3},
     number = {1},
     year = {2010},
     language = {pl},
     url = {http://geodesic.mathdoc.fr/item/AUPCDM_2010_3_1_a1/}
}