Number of the records: 1  

Basic proof theory

  1.   Borrow
    Title statementBasic proof theory / A.S. Troelstra, H. Schwichtenberg
    Personal name Troelstra, A. S., 1939- (author)
    Edition statement2nd ed.
    Issue dataCambridge : Cambridge University Press, 2000
    Phys.des.xii, 417 s.
    ISBN0521779111
    NoteRejstř.
    Internal Bibliographies/Indexes NoteBibliogr. s. 379-403
    Another responsib. Schwichtenberg, Helmut, 1942- (author)
    Subj. Headings matematická analýza mathematical analysis * matematická logika mathematical logic * numerologie numerology
    UDC 510.6(075.8) , 514.01(075.8) , 517+512 , 517.11 , 517(075.8)
    CountryVelká Británie
    Languageangličtina
    Document kindBooks
    View book information on page www.obalkyknih.cz

    book

      Borrow
    Call numberBarcodeLocationSublocationInfo
    M1/1200 (PřF)3134014709PřFPřF, KMI – Bc. KolovratníkováIn-Library Use Only

Number of the records: 1  

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

Accept allSettingsReject all