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

Jump to:navigation, search

zbMath0305.02064MaRDI QIDQ4060958

Urszula Wybraniec-Skardowska

Publication date: 1975

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

Mathematics Subject Classification ID

General logic (03B99) Proof theory and constructive mathematics (03F99)

Related Items (4)

Foundations for the formalization of metamathematics and axiomatizations of consequence theories ⋮ On the mutual definability of the notions of entailment, rejection, and inconsistency ⋮ CHOICE FUNCTIONS AND UPPER CHOICE FUNCTIONS ⋮ Rejection in Łukasiewicz’s and Słupecki’s Sense

This page was built for publication:

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