Search results
- 1.0369674 - MÚ 2012 RIV GB eng B - Monography
Krajíček, Jan
Forcing with Random Variables and Proof Complexity.
1st ed. - Cambridge: Cambridge University Press, 2011. 247 s. London Mathematical Society Lecture Note Series, 382. ISBN 978-0-521-15433-8
R&D Projects: GA AV ČR IAA100190902; GA MŠMT LC505; GA AV ČR IAA1019401
Institutional research plan: CEZ:AV0Z10190503
Keywords : computational complexity * random variables * mathematical analysis
Subject RIV: BA - General Mathematics
http://www.cambridge.org/gb/knowledge/isbn/item5705272/?site_locale=en_GB
Permanent Link: http://hdl.handle.net/11104/0203685 - 2.0362933 - MÚ 2012 RIV CZ cze B - Monography
Sochor, Antonín
Logika pro všechny ochotné myslet.
[Logic for all willing to think.]
1. - Praha: Karolinum, 2011. 363 s. ISBN 978-80-246-1959-0
R&D Projects: GA AV ČR IAA1019401
Institutional research plan: CEZ:AV0Z10190503
Keywords : mathematical logic * propositional calculus * predicate calculus * completeness theorem * incompleteness theorem
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0199099 - 3.0048361 - MÚ 2007 RIV CZ cze B - Monography
Sochor, Antonín
Metamatematika teorií množin.
[Metamathematics of set theories.]
Praha: Karolinum, 2005. 203 s. ISBN 80-246-1160-0
R&D Projects: GA AV ČR(CZ) IAA1019401
Institutional research plan: CEZ:AV0Z10190503
Keywords : set theory * logic * consistency
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0139016