Metamathematics of the alternative set theory. I.
Commentationes Mathematicae Universitatis Carolinae, Tome 20 (1979) no. 4, pp. 697-722
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/