Forcing with Random Variables and Proof Complexity Dublin Core Títol Forcing with Random Variables and Proof Complexity Autor Krajíček Matèria Mathematics Mathematics and Statistics Editor Cambridge University Press Data de publicació 2011 Identificador 9781139107211 Font https://doi.org/10.1017/CBO9781139107211 Etiquetes Mathematics, Mathematics and Statistics Col·lecció Mathematics and Statistics ← ítem anterior Ítem següent →