Jan Krajíček profile picture

Jan Krajíček

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Forcing with random variables and proof complexity
Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)
Bounded Arithmetic, Propositional Logic and Complexity Theory
European Financial Systems 2013 Proceedings of the 10th International Scientific Conference. 10-11 June 2013, Telč, Czech Republic
European Financial Systems 2014 Proceedings of the 11th International Scientific Conference
Proof Complexity
Proof Complexity Generators
European Financial systems 2016
Marketing v peněžnictví distanční studijní opora
Logic Colloquium '01
Arithmetic, Proof Theory, and Computational Complexity