No label defined (Q5419872)

From MaRDI portal
Revision as of 22:31, 20 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q804563)
scientific article; zbMATH DE number 6302896
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 6302896

    Statements

    11 June 2014
    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

    Identifiers