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
Constructive Proofs of Negated Statements - MaRDI portal

Constructive Proofs of Negated Statements (Q3305626)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Constructive Proofs of Negated Statements
scientific article

    Statements

    title
    Constructive Proofs of Negated Statements (English)
    0 references
    author
    Josef Berger
    0 references
    Gregor Svindland
    0 references
    publication date
    10 August 2020
    0 references

    Identifiers

    zbMATH DE Number
    7229608
    0 references
    OpenAlex ID
    W2982071018
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3305626&oldid=36605977"
    Powered by MediaWiki