No label defined (Q4222825)

From MaRDI portal





scientific article; zbMATH DE number 1231513
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 1231513

    Statements

    0 references
    13 December 1998
    0 references
    intuitionistic mathematics
    0 references
    survey
    0 references
    intuitionistic logic
    0 references
    BHK interpretation
    0 references
    proof interpretation
    0 references
    realizability
    0 references
    Curry-Howard isomorphism
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references