Forcing with Random Variables and Proof Complexity
by
 
Krajíček, Jan.

Title
: 
Forcing with Random Variables and Proof Complexity

Author
: 
Krajíček, Jan.

ISBN
: 
9781139107211
 
9780521154338

Publication Information
: 
Cambridge : Cambridge University Press, 2010

Physical Description
: 
1 online resource (264 p.) : digital, PDF file(s).

Series
: 
London Mathematical Society Lecture Note Series no. 382

Series Title
: 
London Mathematical Society Lecture Note Series no. 382

General Note
: 
Title from publishers bibliographic system (viewed on 06 Sep 2013).

Subject Term
: 
Computational complexity.
 
Random variables.
 
Mathematical analysis.

Electronic Access
: 
Access by subscription


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book236905-1001ONLINEElektronik Kütüphane