• DML-CZ Home

03F05 Cut-elimination and normal-form theorems (3 articles)

• Švejdar, Vítězslav: On sequent calculi for intuitionistic propositional logic. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 47 (2006), issue 1, pp. 159-173
• Studnička, F. J.: Geometrické upotřebení některých pouček o determinantech. [I.]. (Czech) [Geometric application of some theorems on determinants. [I.]]. Časopis pro pěstování mathematiky a fysiky, vol. 2 (1873), issue 3, pp. 192-195
• Studnička, F. J.: Geometrické upotřebení některých pouček o determinantechGeometric application of some theorems on determinants. [II.]. (Czech) [Geometric application of some theorems on determinants. [II.]]. Časopis pro pěstování mathematiky a fysiky, vol. 2 (1873), issue 4, pp. 236-239