Proof theory and intuitionistic systems (Q2557690)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Proof theory and intuitionistic systems
scientific article

    Statements

    title
    Proof theory and intuitionistic systems (English)
    0 references
    publication date
    1971
    0 references
    Mathematics Subject Classification ID
    03F99
    0 references
    03-02
    0 references
    03B55
    0 references
    03F55
    0 references
    zbMATH DE Number
    3399201
    0 references
    author
    Bruno Scarpellini
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2557690&oldid=27043628"
    Powered by MediaWiki