Vista normal Vista MARC Vista ISBD

Krajícek, Jan,

Forcing with random variables and proof complexity / Jan Krajícek - xvi, 247 páginas : ilustraciones - London Mathematical Society lecture note series ; 382 .

ISBN: 9780521154338 (rústica) 0521154332 (rústica)

Subjects--Topical Terms:
Complejidad computacional
Variables aleatorias
Análisis matemático

LC Class. No.: QA267.7 / K73

Dewey Class. No.: 511.3/6