Výsledky vyhledávání
- 1.0501039 - ÚI 2020 GB eng B - Monografie kniha jako celek
Hájek, Petr - Pudlák, Pavel
Metamathematics of First-Order Arithmetic.
Cambridge: Cambridge University Press, 2017. 474 s. Perspectives in Logic. ISBN 978-1-107-16841-1
Institucionální podpora: RVO:67985807 ; RVO:67985840
Klíčová slova: Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
Obor OECD: Pure mathematics; Pure mathematics (MU-W)
Trvalý link: http://hdl.handle.net/11104/0293053Název souboru Staženo Velikost Komentář Verze Přístup 0501039-titlist.pdf 8 138.3 KB volne online Vydavatelský postprint povolen - 2.0491983 - MÚ 2019 RIV CZ cze B - Monografie kniha jako celek
Křížek, Michal - Somer, L. - Markl, Martin - Kowalski, O. - Pudlák, Pavel - Vrkoč, Ivo
Abelova cena: nejvyšší ocenění za matematiku.
[The Abel Prize : the Highest Achievement in Mathematics.]
1. - Praha: Academia, 2018. 219 s. ISBN 978-80-200-2842-6
Grant CEP: GA ČR GA14-02067S
Institucionální podpora: RVO:67985840
Klíčová slova: Last Fermat Theorem * Lax-Milgram Lemma * sporadic groups * Riemann Hypothesis
Obor OECD: Pure mathematics
Trvalý link: http://hdl.handle.net/11104/0285570 - 3.0401861 - UIVT-O 930005 DE eng B - Monografie kniha jako celek
Hájek, Petr - Pudlák, Pavel
Metamathematics of First-Order Arithmetic.
Berlin: Springer-Verlag, 1993. 460 s. Perspectives in Mathematical Logic. ISBN 3-540-50632-2
Klíčová slova: mathematical logic
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV
Trvalý link: http://hdl.handle.net/11104/0122295 - 4.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 - 5.0391444 - MÚ 2014 RIV CZ cze B - Monografie kniha jako celek
Křížek, Michal - Somer, L. - Markl, Martin - Kowalski, O. - Pudlák, Pavel - Vrkoč, Ivo
Prvních deset Abelových cen za matematiku.
[The first ten Abel prizes for mathematics.]
1. - Praha: Jednota českých matematiků a fyziků, 2013. 88 s. ISBN 978-80-7015-014-6
Institucionální podpora: RVO:67985840
Klíčová slova: number theory * theory of groups * topology
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0220494