Forcing with random variables and proof complexity by Krajicek, Jan
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Third floor, call number 511.36 KRA.
Book details
- Author
- Krajicek, Jan
- Publisher
- Cambridge
- Year
- 2010
- Pages
- 264
- ISBN
- 9780521154338
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Third floor | 511.36 KRA | 313101 | Reference only (read in the library) |
Next to this on the shelf
- Applications Of Diophantine Approximation To Integral Points And Transcendence 511.36 COR
- Brouwer'S Cambridge Lectures On Intuitionism 511.36 DAL
- Advances In Linear Logic 511.36 GIR
- Bounded Arithmetic, Propositional Logic And Complexity Theory 511.36 KRA
- Forcing with random variables and proof complexity (this book)
- Proof analysis 511.36 NEG
- Handbook Of Mathematical Induction Theory And Applications 511.36 WAD
- Heterogeneous contributions to numerical cognition : learning and education in mathematical cognition 511.364 FIA
- Theory Of Translation Closedness For Time Scales With Applications In Translation Functions And Dynamic Equations (Pb 2021) 511.37 WAN