Jan Krajicek Books
Forcing with random variables and proof complexity
By Jan Krajicek
"This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. Propositional proof systems and bounded arithme...
Read More