Search results
- 1.0501039 - ÚI 2020 GB eng B - Monography
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
Institutional support: RVO:67985807 ; RVO:67985840
Keywords : Computer Science * Logic * Categories and Sets * Programming Languages and Applied Logic * Mathematics
OECD category: Pure mathematics; Pure mathematics (MU-W)
Permanent Link: http://hdl.handle.net/11104/0293053File Download Size Commentary Version Access 0501039-titlist.pdf 8 138.3 KB volne online Publisher’s postprint open-access - 2.0491983 - MÚ 2019 RIV CZ cze B - Monography
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
R&D Projects: GA ČR GA14-02067S
Institutional support: RVO:67985840
Keywords : Last Fermat Theorem * Lax-Milgram Lemma * sporadic groups * Riemann Hypothesis
OECD category: Pure mathematics
Permanent Link: http://hdl.handle.net/11104/0285570 - 3.0401861 - UIVT-O 930005 DE eng B - Monography
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
Keywords : mathematical logic
http://aleph.lib.cas.cz/F/?func=direct&doc_number=000124306&local_base=AV
Permanent Link: http://hdl.handle.net/11104/0122295 - 4.0393022 - MÚ 2014 RIV CH eng B - Monography
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
R&D Projects: GA AV ČR IAA100190902
Institutional research plan: CEZ:AV0Z10190503
Institutional support: RVO:67985840
Keywords : mathematical logic * foundations of mathematics * set-theoretical foundations * incompleteness theorems
Subject RIV: BA - General Mathematics
http://link.springer.com/book/10.1007/978-3-319-00119-7/page/1
Permanent Link: http://hdl.handle.net/11104/0221789 - 5.0391444 - MÚ 2014 RIV CZ cze B - Monography
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
Institutional support: RVO:67985840
Keywords : number theory * theory of groups * topology
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0220494