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:3377758

Jump to:navigation, search

zbMath1098.03036MaRDI QIDQ3377758

Lloyd Humberstone

Publication date: 29 March 2006

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

zbMATH Keywords

intuitionistic logic intermediate logic clasical logic Deduction theorem

Mathematics Subject Classification ID

Intermediate logics (03B55)

Related Items (3)

Natural deduction and Curry's paradox ⋮ Prior’s OIC nonconservativity example revisited ⋮ Explicating logical independence

This page was built for publication:

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