Metamathematics of the alternative set theory. II
Commentationes Mathematicae Universitatis Carolinae, Tome 23 (1982) no. 1, pp. 55-79
Voir la notice de l'article provenant de la source Czech Digital Mathematics Library
Sochor, Antonín. Metamathematics of the alternative set theory. II. Commentationes Mathematicae Universitatis Carolinae, Tome 23 (1982) no. 1, pp. 55-79. http://geodesic.mathdoc.fr/item/CMUC_1982_23_1_a4/
@article{CMUC_1982_23_1_a4,
author = {Sochor, Anton{\'\i}n},
title = {Metamathematics of the alternative set theory. {II}},
journal = {Commentationes Mathematicae Universitatis Carolinae},
pages = {55--79},
year = {1982},
volume = {23},
number = {1},
mrnumber = {653351},
zbl = {0493.03030},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CMUC_1982_23_1_a4/}
}
[S 1] A. SOCHOR: Metamathernatics of the Alternative Set Theory I. Comment. Math. Univ. Carolinae 20 (1979), 697-722. | MR