Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series - Krajicek, Jan (Charles University, Prague) - Books - Cambridge University Press - 9780521154338 - December 23, 2010
In case cover and title do not match, the title is correct

Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series

Krajicek, Jan (Charles University, Prague)

Price
NZD 136
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 30 - May 13
Add to your iMusic wish list

Forcing with Random Variables and Proof Complexity - London Mathematical Society Lecture Note Series

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

More by Krajicek, Jan (Charles University, Prague)