Jan Krajíček

Bibliography

Baaz, Matthias, Hájek, Petr, Krajı́ček, Jan and Svejda, David. 1998. “Embedding Logics into Product Logic.” Studia Logica: An International Journal for Symbolic Logic 61: 35–47.
Clote, Peter and Krajı́ček, Jan. 1993. Arithmetic, Proof Theory, and Computational Complexity. Oxford Logic Guides n. 23. Oxford: Oxford University Press.
Krajı́ček, Jan. 2001. “Tautologies from Pseudo-Random Generators.” The Bulletin of Symbolic Logic 7(2): 197–212.