Košík

  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
    Obor OECD: Pure mathematics; Pure mathematics (MU-W)
    Trvalý link: http://hdl.handle.net/11104/0293053
    Název souboruStaženoVelikostKomentářVerzePřístup
    0501039-titlist.pdf8138.3 KBvolne onlineVydavatelský postprintpovolen