Forcing with Random Variables and Proof Complexity
by Jan Krajíček Paperback 2010
- Author: Jan Krajíček
- ISBN 13: 9780521154338
- ISBN 10: 0521154332
- Publication Year: 2010
- Language: English
Specifications
Index-100521154332
LanguageEnglish
Index-139780521154338
Period-
Class Track-
Publisher- (2010)
Pages-
✨ Readers also enjoyed...
Proof Complexity Generators