Metamathematics of the alternative set theory. II.
Sochor, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982), p. 55-79 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1982-01-01
Classification:  03E70,  03H20,  03H99 
@article{106132,
     author = {Anton\'\i n Sochor},
     title = {Metamathematics of the alternative set theory. II.},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {023},
     year = {1982},
     pages = {55-79},
     zbl = {0493.03030},
     mrnumber = {653351},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106132}
}

Sochor, Antonín. Metamathematics of the alternative set theory. II.. Commentationes Mathematicae Universitatis Carolinae, Tome 023 (1982) pp. 55-79. http://gdmltest.u-ga.fr/item/106132/

A. Sochor Metamathernatics of the Alternative Set Theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) | MR 0555184