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

Price
$ 83.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 2 - 12
Add to your iMusic wish list

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  

More by Krajicek, Jan (Charles University, Prague)

Show all

Mere med samme udgiver