Basket

    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/0293053
    FileDownloadSizeCommentaryVersionAccess
    0501039-titlist.pdf8138.3 KBvolne onlinePublisher’s postprintopen-access
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all