Forcing with Random Variables and Proof Complexity

Forcing with Random Variables and Proof Complexity
Autor
Krajíček
Matèria
Editor
Cambridge University Press
Data publicació
2011
Identificador
9781139107211
Col·lecció
Accés
https://doi.org/10.1017/CBO9781139107211