Voir la notice de l'article provenant de la source Czech Digital Mathematics Library
@article{CMUC_1979__20_4_a6, author = {Sochor, Anton{\'\i}n}, title = {Metamathematics of the alternative set theory. {I.}}, journal = {Commentationes Mathematicae Universitatis Carolinae}, pages = {697--722}, publisher = {mathdoc}, volume = {20}, number = {4}, year = {1979}, mrnumber = {555184}, zbl = {0433.03028}, language = {en}, url = {http://geodesic.mathdoc.fr/item/CMUC_1979__20_4_a6/} }
Sochor, Antonín. Metamathematics of the alternative set theory. I.. Commentationes Mathematicae Universitatis Carolinae, Tome 20 (1979) no. 4, pp. 697-722. http://geodesic.mathdoc.fr/item/CMUC_1979__20_4_a6/