Releases by Krajicek, Jan (Charles University, Prague)

In stock at iMusic Show unavailable items

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

Proof Complexity Generators - Lo... (2025)

Krajicek, Jan (Charles Universit...

Cover for Krajicek, Jan (Charles University, Prague) · Proof Complexity - Encyclopedia of Mathematics and its Applications (Hardcover Book) (2019)

Proof Complexity - Encyclopedia ... (2019)

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)

Forcing with Random Variables an... (2010)

Krajicek, Jan (Charles Universit...