On the completenes principle: A study of provability in heyting's arithmetic and extensions (Q4740561)

From MaRDI portal
scientific article; zbMATH DE number 3795949
Language Label Description Also known as
English
On the completenes principle: A study of provability in heyting's arithmetic and extensions
scientific article; zbMATH DE number 3795949

    Statements

    On the completenes principle: A study of provability in heyting's arithmetic and extensions (English)
    0 references
    0 references
    1982
    0 references
    provability logic
    0 references
    Heyting's arithmetic
    0 references
    strong Loeb principle
    0 references

    Identifiers