Forcing with Random Variables and Proof Complexity
Jan (Charles University, Prague) Krajicek
Cambridge University Press, 2010
94,25 €On orderDelivery: 2-3 weeks
Aimed at researchers and graduate students in mathematics and theoretical computer science, who are interested in logical approaches to fundamental problems of computational complexity theory, and of proof complexity in particular.
- ISBN-13
- 9780521154338
- ISBN-10
- 0521154332
- Publisher
- Cambridge University Press
- Year
- 2010
- Publication date
- 2010-12-23
- Pages
- 264
- Dimensions
- 225x152x15
- Weight
- 382