Search results

  1. 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
    Subject RIV: BA - General Mathematics; BA - General Mathematics (MU-W)
    OBOR OECD: Pure mathematics; Pure mathematics (MU-W)
    Permanent Link: http://hdl.handle.net/11104/0293053
    FileDownloadSizeCommentaryVersionAccess
    0501039-titlist.pdf6138.3 KBvolne onlinePublisher’s postprintopen-access
     
  2. 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
    Subject RIV: BA - General Mathematics
    OBOR OECD: Pure mathematics
    Permanent Link: http://hdl.handle.net/11104/0285570
     
  3. 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. 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. 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