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
A$ 115.99

Ordered from remote warehouse

Expected delivery Dec 27 - Jan 9, 2025
Christmas presents can be returned until 31 January
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)