Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
CALCULUSES AND FORMAL SYSTEMS - MaRDI portal

CALCULUSES AND FORMAL SYSTEMS (Q3268309)

From MaRDI portal





scientific article
Language Label Description Also known as
English
CALCULUSES AND FORMAL SYSTEMS
scientific article

    Statements

    title
    CALCULUSES AND FORMAL SYSTEMS (English)
    0 references
    publication date
    1958
    0 references
    zbMATH Keywords
    philosophy and foundations of mathematics
    0 references
    author
    Haskell B. Curry
    0 references
    published in
    Dialectica
    0 references

    Identifiers

    zbMATH DE Number
    3150813
    0 references
    OpenAlex ID
    W2054344121
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3268309&oldid=41025961"
    Powered by MediaWiki