A topological completeness theorem for transfinite provability logic (Q6103511)

From MaRDI portal
scientific article; zbMATH DE number 7691806
Language Label Description Also known as
English
A topological completeness theorem for transfinite provability logic
scientific article; zbMATH DE number 7691806

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references