Vytisknout
0393022 - MÚ 2014 RIV CH eng B - Monografie kniha jako celek
Pudlák, Pavel
Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction.
1. - Heidelberg: Springer, 2013. 695 s. Springer Monographs in Mathematics. ISBN 978-3-319-00118-0. ISSN 1439-7382
Grant CEP: GA AV ČR IAA100190902
Výzkumný záměr: CEZ:AV0Z10190503
Institucionální podpora: RVO:67985840
Klíčová slova: mathematical logic * foundations of mathematics * set-theoretical foundations * incompleteness theorems
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/book/10.1007/978-3-319-00119-7/page/1
Trvalý link: http://hdl.handle.net/11104/0221789
Pudlák, Pavel
Logical Foundations of Mathematics and Computational Complexity : a Gentle Introduction.
1. - Heidelberg: Springer, 2013. 695 s. Springer Monographs in Mathematics. ISBN 978-3-319-00118-0. ISSN 1439-7382
Grant CEP: GA AV ČR IAA100190902
Výzkumný záměr: CEZ:AV0Z10190503
Institucionální podpora: RVO:67985840
Klíčová slova: mathematical logic * foundations of mathematics * set-theoretical foundations * incompleteness theorems
Kód oboru RIV: BA - Obecná matematika
http://link.springer.com/book/10.1007/978-3-319-00119-7/page/1
Trvalý link: http://hdl.handle.net/11104/0221789