• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae
• Volume 25

Author: Čuda, Karel

• Čuda, Karel; Vojtášková, Blanka: Models of AST without choice. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 25 (1984), issue 4, pp. 555-589
• Čuda, Karel: Translation of nonstandard definitions to standard ones. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 25 (1984), issue 4, pp. 615-634