%0 Journal Article %A Sochor, AntonĂ­n %T Metamathematics of the alternative set theory. II. %J Commentationes Mathematicae Universitatis Carolinae %D 1982 %P 55-79 %V 23 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/CMUC_1982__23_1_a4/ %G en %F CMUC_1982__23_1_a4