Forcing with Random Variables and Proof Complexity

Krajíček Jan



Název
Forcing with Random Variables and Proof Complexity
Autor
lupa Krajíček Jan MU-W - Matematický ústav AV ČR, v. v. i.
Vyd.údaje
Cambridge : lupa Cambridge University Press , 2011. - 247 s.
Vydání
1st ed.
Edice
London Mathematical Society Lecture Note Series , 382
ISBN
978-0-521-15433-8
Poznámky
MSM0021620839
Druh dok.
B
Jazyk dok.
eng
Země vyd.
GB
Klíč.slova
computational complexity * random variables * mathematical analysis
URL
http://www.cambridge.org/gb/knowledge/isbn/item5705272/?site_locale=en_GB
Databáze
zb - Monografie kniha jako celek
URL
http://www.cambridge.org/gb/knowledge/isbn/item5705272/?site_locale=en_GB
Trvalý link
http://hdl.handle.net/11104/0203685