Number of the records: 1  

Subsystems of second order arithmetic

  1. Title statementSubsystems of second order arithmetic / Stephen G. Simpson
    Personal name Simpson, Stephen G., 1945- (author)
    Edition statementSecond edition
    PublicationCambridge : Cambridge University Press, 2009
    Copyright notice date©2009
    Phys.des.xvi, 444 stran
    ISBN978-0-521-15014-9 (brožováno)
    EditionPerspectives in logic ; 1
    NotePod názvem: Association for Symbolic Logic
    "This digitally printed version 2010" -- Rub titulní strany
    Internal Bibliographies/Indexes NoteObsahuje bibliografii a rejstřík
    Another responsib. Association for Symbolic Logic
    Subj. Headings matematické modely mathematical models * aritmetika arithmetic * predikátová logika predicate calculus
    Form, Genre monografie monographs
    Conspect519 - Kombinatorika. Teorie grafů. Matematická statistika. Operační výzkum. Matematické modelování
    UDC 511.1 , 164.2 , 510.635 , 519.673 , (048.8)
    CountryVelká Británie
    Languageangličtina
    Document kindBooks
    book

    book

    Call numberBarcodeLocationSublocationInfo
    M1/3310 (PřF)3134042087PřFPřF, KMI – Bc. KolovratníkováIn-Library Use Only
    M1/3310a (PřF)3134042935Př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.