Forcing with Random Variables and Proof Complexity

Título:
Forcing with Random Variables and Proof Complexity
Autor:
Krajíček
Materia:
Mathematics; Algebra; Logic; Categories and Sets; Recreational Mathematics
Editor:
Cambridge University Press
Descripción:
Books for Research
Identificadores:
E-ISBN: 9781139107211 ISBN: 9780521154338
Colección:
Cambridge University Press