No label defined (Q5419872)

From MaRDI portal
Revision as of 03:20, 9 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article; zbMATH DE number 6302896
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 6302896

    Statements

    0 references
    11 June 2014
    0 references
    0 references
    provability logics
    0 references
    positive fragments of modal logic
    0 references
    ordinal analysis
    0 references
    ordinal representation system
    0 references
    unprovable combinatorial principles
    0 references