Forcing with random variables and proof complexity/

Krajícek, Jan.

Forcing with random variables and proof complexity/ Jan Krajicek. - Cambridge, UK; New York: Cambridge University Press, 2011. - xvi, 247 p.: ill.; 23 cm. - London Mathematical Society lecture note series; 382 . - London Mathematical Society lecture note series; 382. .

Includes bibliographical references (p. 236-242) and indexes.

9780521154338 (pbk.) 0521154332 (pbk.)

2010036194


Computational complexity.
Random variables
Mathematical analysis.

511.3 / K89f
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha