Metamathematics of the alternative set theory. II
Commentationes Mathematicae Universitatis Carolinae, Tome 23 (1982) no. 1, pp. 55-79
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library
@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/}
}
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/
[S 1] A. SOCHOR: Metamathernatics of the Alternative Set Theory I. Comment. Math. Univ. Carolinae 20 (1979), 697-722. | MR