%0 Journal Article
%A Sochor, Antonín
%T Metamathematics of the alternative set theory. I
%J Commentationes Mathematicae Universitatis Carolinae
%D 1979
%P 697-722
%V 20
%N 4
%U http://geodesic.mathdoc.fr/item/CMUC_1979_20_4_a6/
%G en
%F CMUC_1979_20_4_a6