• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae

Author: Resl, Michal

• Resl, Michal; Sochor, Antonín: Provability in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 655-660
• Resl, Michal: On models in the alternative set theory. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 20 (1979), issue 4, pp. 723-736