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
scientific article - MaRDI portal

scientific article

From MaRDI portal

Publication:3220564

Jump to:navigation, search

zbMath0556.03025MaRDI QIDQ3220564

Branislav R. Boričić

Publication date: 1983

Full work available at URL: https://eudml.org/doc/117418

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

syntactic decision procedure disjunction free fragment Heyting's propositional calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Intermediate logics (03B55)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3220564&oldid=16311586"