No label defined (Q3338239)

From MaRDI portal
scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    1982
    0 references
    intuitionistic arithmetic
    0 references
    intuitionistic logic
    0 references
    Nishimura's sequence of propositional formulas
    0 references
    arithmetical formulas
    0 references
    formulas of one propositional variable
    0 references
    provability
    0 references
    first-order arithmetic
    0 references

    Identifiers