Jan Krajíček
3 published titles
Arithmetic, proof theory, and computational complexity
(Contributor)
1 edition
- ISBN: 0198536909
- Clarendon
- 1993
- Details
Bounded arithmetic, propositional logic and complexity theory
1 edition
- ISBN: 0521452058
- Cambridge University Press
- 1995
- Details
Forcing with random variables and proof complexity
1 edition
- ISBN: 9780521154338
- Cambridge University Press
- 2011
- Details
