Number of the records: 1

Forcing with Random Variables and Proof Complexity

SYSNO	0369674
Title	Forcing with Random Variables and Proof Complexity
Author(s)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Issue data	Cambridge: Cambridge University Press, 2011
Issue	1st ed.
Edition	London Mathematical Society Lecture Note Series , 382
ISBN	978-0-521-15433-8
Document Type	Monografie, kniha (jako celek)
Grant	IAA100190902 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
	LC505 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
	IAA1019401 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	AV0Z10190503 - MU-W (2005-2011)
Language	eng
Country	GB
Keywords	computational complexity * random variables * mathematical analysis
URL	http://www.cambridge.org/gb/knowledge/isbn/item5705272/?site_locale=en_GB
Permanent Link	http://hdl.handle.net/11104/0203685

Number of the records: 1