Voir la notice de l'article provenant de la source Czech Digital Mathematics Library
@article{CMUC_1983__24_1_a12, author = {Sochor, Anton{\'\i}n}, title = {Metamathematics of the alternative set theory. {III.}}, journal = {Commentationes Mathematicae Universitatis Carolinae}, pages = {137--154}, publisher = {mathdoc}, volume = {24}, number = {1}, year = {1983}, mrnumber = {703933}, zbl = {0531.03031}, language = {en}, url = {http://geodesic.mathdoc.fr/item/CMUC_1983__24_1_a12/} }
Sochor, Antonín. Metamathematics of the alternative set theory. III.. Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 1, pp. 137-154. http://geodesic.mathdoc.fr/item/CMUC_1983__24_1_a12/