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
Substructural Logic of Proofs - MaRDI portal

Substructural Logic of Proofs (Q2849432)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Substructural Logic of Proofs
scientific article

    Statements

    title
    Substructural Logic of Proofs (English)
    0 references
    author
    Hidenori Kurokawa
    0 references
    Hirohiko Kushida
    0 references
    publication date
    17 September 2013
    0 references

    Identifiers

    zbMATH DE Number
    6208956
    0 references
    OpenAlex ID
    W142007228
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2849432&oldid=33072573"
    Powered by MediaWiki