Number of the records: 1  

Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic

    1.
    SYSNO ASEP0174483
    Document TypeJ - Journal Article
    R&D Document TypeJournal Article
    Subsidiary JOstatní články
    TitleInterpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic
    Author(s) Krajíček, Jan (MU-W) SAI, ORCID
    Source TitleJournal of Symbolic Logic. - : Cambridge University Press - ISSN 0022-4812
    Roč. 62, č. 2 (1997), s. 457-486
    Languageeng - English
    CountryUS - United States
    R&D ProjectsIAA1019602 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
    WorkplaceMathematical Institute
    ContactJarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757
    Year of Publishing1998

Number of the records: 1  

Metadata are licenced under CC0

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

Accept allSettingsReject all