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
Independence of an axiom system and rules of inference for the propositional calculus - MaRDI portal

Independence of an axiom system and rules of inference for the propositional calculus (Q2554319)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Independence of an axiom system and rules of inference for the propositional calculus
scientific article

    Statements

    title
    Independence of an axiom system and rules of inference for the propositional calculus (English)
    0 references
    author
    Yanyan Li
    0 references
    publication date
    1971
    0 references

    Identifiers

    DOI
    10.1007/BF02124259
    0 references
    zbMATH DE Number
    3383971
    0 references
    OpenAlex ID
    W2327794550
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2554319&oldid=37330479"
    Powered by MediaWiki