%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
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_1979__20_4_a6/
%G en
%F CMUC_1979__20_4_a6