Forcing with random variables and proof complexity:
Saved in:
Bibliographic Details
Main Author: Krajíček, Jan 1960- (Author)
Format: Book
Language:English
Published: Cambridge [u.a.] Cambridge University Press 2011
Series:London Mathematical Society lecture note series 382
Subjects:
Links:http://assets.cambridge.org/97805211/54338/cover/9780521154338.jpg
Item Description:Includes bibliographical references and indexes
Physical Description:XVI, 247 S.
ISBN:9780521154338
Order paper/chapter scan

Branch Library Mathematics & Informatics

Holdings details from Teilbibliothek Mathematik & Informatik
Call Number: 0102 MAT 001z 2001 A 985-382 Floor plan
Copy 1 Available for loan On Shelf