کتاب های Jan Krajícek (eds.)

Logic Colloquium '01 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001
Matthias Baaz, Sy-David Friedman, Jan Krajícek(eds.), 2005
Arithmetic, Proof Theory, and Computational Complexity
Peter Clote, Jan Krajícek, 1993
Bounded arithmetic, propositional logic and complexity theory
Jan Krajicek, 1995
Forcing with Random Variables and Proof Complexity
Jan Krajíček, 2011
Proof complexity
Jan Krajíček, 2019
Proof Complexity (Encyclopedia of Mathematics and its Applications)
Jan Krajíček, 2019
Proof Complexity (Encyclopedia of Mathematics and its Applications)
Jan Krajíček, 2019
Scooped!
David J. Krajicek, 1999