Author: Krajíček, Jan

Krajíček, Jan: Speed-up for propositional Frege systems via generalizations of proofs. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 30 (1989), issue 1, pp. 137-140
Krajíček, Jan: A possible modal reformulation of comprehension scheme. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 2, pp. 387-388
Krajíček, Jan: Some theorems on the lattice of local interpretability types. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 24 (1983), issue 2, pp. 387

Partner of