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
Classifications of Recursive Functions by Means of Hierarchies - MaRDI portal

Classifications of Recursive Functions by Means of Hierarchies (Q3291527)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Classifications of Recursive Functions by Means of Hierarchies
scientific article

    Statements

    DOI
    10.2307/1993935
    0 references
    author
    Solomon Feferman
    0 references
    publication date
    1962
    0 references
    zbMATH DE Number
    3172711
    0 references
    zbMATH Keywords
    logics, foundations, philosophy
    0 references
    OpenAlex ID
    W4229864199
    0 references
    title
    Classifications of Recursive Functions by Means of Hierarchies (English)
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3291527&oldid=34499635"
    Powered by MediaWiki