Výsledky vyhledávání

  1. 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
    Kód oboru RIV: BA - Obecná matematika; BA - Obecná matematika (MU-W)
    Obor OECD: Pure mathematics; Pure mathematics (MU-W)
    Trvalý link: http://hdl.handle.net/11104/0293053
    Název souboruStaženoVelikostKomentářVerzePřístup
    0501039-titlist.pdf4138.3 KBvolne onlineVydavatelský postprintpovolen
     
  2. 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
    Kód oboru RIV: BA - Obecná matematika
    Obor OECD: Pure mathematics
    Trvalý link: http://hdl.handle.net/11104/0285570
     
  3. 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. 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. 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