Modified realizability and predicate logic (Q1274048)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Modified realizability and predicate logic
scientific article

    Statements

    Modified realizability and predicate logic (English)
    0 references
    11 January 1999
    0 references
    constructive logic
    0 references
    semantics of predicate formulas
    0 references
    modified realizability
    0 references
    arithmetic in all finite types
    0 references
    0 references

    Identifiers

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