• DML-CZ Home

Author: Švejdar, Vítězslav

• Švejdar, Vítězslav: On sequent calculi for intuitionistic propositional logic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 47 (2006), issue 1, pp. 159-173
• Švejdar, Vítězslav: The limit lemma in fragments of arithmetic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 44 (2003), issue 3, pp. 565-568
• Švejdar, Vítězslav: Arithmetical classification of the set of all provably recursive functions. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 40 (1999), issue 4, pp. 631-634
• Švejdar, Vítězslav: A sentence that is difficult to interpret. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 22 (1981), issue 4, pp. 661-666
• Švejdar, Vítězslav: Degrees of interpretability. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 19 (1978), issue 4, pp. 789-813