%0 Journal Article
%A Borak, Ewa
%T System komputerowy Mizar narzędziem do komputerowego wspomagania nauczania w szkole wyższej
%J Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
%D 2010
%P 21-40
%V 3
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AUPCDM_2010_3_1_a1/
%G pl
%F AUPCDM_2010_3_1_a1