Forcing with random variables and proof complexity

Name: Forcing with random variables and proof complexity
Author: Jan Krajícek

by Jan Krajícek · 1 review · 2012

Reviewed by	Journal	Date	Access
Sam Buss	The Bulletin of Symbolic Logic	2012-12-00	Restricted

Also by Krajícek