عنوان
پدید آورنده
موضوع
رده
QA 267.7 .K72F6
QA
267
.
7
.
K72F6
کتابخانه
محل استقرار
Forcing with random variables and proof complexity
Cambridge, U.K.
Cambridge Univ. Press
2011
xvi, 247 p.: ill
London Mathematical Society lecture note series; 283
Bibliography: p.236-242
ISBN: 0521154332
Jan Krajicek
1
، Computational complexity
، Random variables
، Mathematical analysis
QA
267
.
7
.
K72F6
NO
Krajicek, Jan
AU
TI
SE
