Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
Bounded Arithmetic, Propositional Logic and Complexity Theory
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems. »
Discusses the deep connections between logic and complexity theory, and lists a number of intriguing open problems. »
Logic Colloquium '01
Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria August 6-11, 2001 »
Proceedings Of The Annual European Summer Meeting Of The Association For Symbolic Logic, Held In Vienna, Austria August 6-11, 2001 »
Forcing With Random Variables And Proof Complexity
Forcing with Random Variables and Proof Complexity »
Forcing with Random Variables and Proof Complexity »
Idea box
