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
Algebraic approach to algorithmic logic - MaRDI portal

Algebraic approach to algorithmic logic (Q2344192)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Algebraic approach to algorithmic logic
scientific article

    Statements

    title
    Algebraic approach to algorithmic logic (English)
    0 references
    author
    Grzegorz Bancerek
    0 references
    publication date
    12 May 2015
    0 references
    zbMATH Keywords
    propsitional calcus
    0 references
    quantifier calcus
    0 references
    algorithmic logic
    0 references
    cites work
    Q4229041
    0 references
    Q5506350
    0 references
    Q5203581
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B70
    0 references
    03B60
    0 references
    03B35
    0 references
    zbMATH DE Number
    6435498
    0 references
    OpenAlex ID
    W1158402109
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2344192&oldid=39021380"
    Powered by MediaWiki