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

Complexity

by Jan Krajicek

Paperback

ISBN: 978-0-521-15433-8

ISBN-10: 0-521-15433-2

Cambridge University Press · 2010