Tell your friends about this item:
Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series
Krajicek, Jan (Charles University, Prague)
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.
264 pages, Illustrations
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | December 23, 2010 |
ISBN13 | 9780521154338 |
Publishers | Cambridge University Press |
Pages | 264 |
Dimensions | 152 × 225 × 15 mm · 382 g |
Language | English |
Show all