Počet záznamů: 1
Forcing with Random Variables and Proof Complexity
- 1.KRAJÍČEK, J. Forcing with Random Variables and Proof Complexity. 1st ed. Cambridge: Cambridge University Press, 2011. London Mathematical Society Lecture Note Series, 382. ISBN 978-0-521-15433-8. Dostupné z: http://www.cambridge.org/gb/knowledge/isbn/item5705272/?site_locale=en_GB
Počet záznamů: 1