Hardcover Book   Paperback Book
Show unavailable items

Releases by Krajicek, Jan (Charles University, Prague)

December 23, 2010 – May 31, 2025

Cover for Krajicek, Jan (Charles University, Prague) · Proof Complexity Generators - London Mathematical Society Lecture Note Series (Paperback Book) (2025)
Paperback Book
Proof Complexity Generators - Lo...
Krajicek, Jan (Charles Universit...

Release May 31, 2025

Cover for Krajicek, Jan (Charles University, Prague) · Proof Complexity - Encyclopedia of Mathematics and its Applications (Hardcover Book) (2019)
Hardcover Book
Proof Complexity - Encyclopedia ...
Krajicek, Jan (Charles Universit...
Cover for Krajicek, Jan (Charles University, Prague) · Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series (Paperback Book) (2010)
Paperback Book
Forcing with Random Variables an...
Krajicek, Jan (Charles Universit...