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; zbMATH DE number 2061768 - MaRDI portal

scientific article; zbMATH DE number 2061768

From MaRDI portal

Publication:4457514

Jump to:navigation, search

zbMath1078.03001MaRDI QIDQ4457514

Ernest Le Pore

Publication date: 24 March 2004

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

zbMATH Keywords

tableau system elementary logic validity of arguments

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematics for nonmathematicians (engineering, social sciences, etc.) (00A06)

Related Items (1)

Formalization and the objects of logic

This page was built for publication:

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