%0 Journal Article %A Sochor, AntonĂ­n %T Metamathematics of the alternative set theory. III. %J Commentationes Mathematicae Universitatis Carolinae %D 1983 %P 137-154 %V 24 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/CMUC_1983__24_1_a12/ %G en %F CMUC_1983__24_1_a12