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
About Truth and Types - MaRDI portal

About Truth and Types (Q3305551)

From MaRDI portal
scientific article
Language Label Description Also known as
English
About Truth and Types
scientific article

    Statements

    title
    About Truth and Types (English)
    0 references
    author
    Andrea Cantini
    0 references
    publication date
    7 August 2020
    0 references
    zbMATH Keywords
    explicit type
    0 references
    Frege structures
    0 references
    explicit mathematics
    0 references
    propositional function
    0 references
    predicate application
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F50
    0 references
    03F35
    0 references
    03F65
    0 references
    zbMATH DE Number
    7229507
    0 references
    OpenAlex ID
    W2477665465
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305551&oldid=36605891"
    Powered by MediaWiki