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
Structural completeness of the first‐order predicate calculus - MaRDI portal

Structural completeness of the first‐order predicate calculus (Q4071202)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Structural completeness of the first‐order predicate calculus
scientific article

    Statements

    title
    Structural completeness of the first‐order predicate calculus (English)
    0 references
    author
    Witold A. Pogorzelski
    0 references
    Tadeusz Prucnal
    0 references
    publication date
    1975
    0 references

    Identifiers

    zbMATH DE Number
    3487405
    0 references
    OpenAlex ID
    W2027669012
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4071202&oldid=33015913"
    Powered by MediaWiki