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 777408 - MaRDI portal

scientific article; zbMATH DE number 777408

From MaRDI portal

Publication:4840188

Jump to:navigation, search

zbMath0828.03001MaRDI QIDQ4840188

Bernhard Heinemann, Weihrauch, Klaus

Publication date: 23 July 1995

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

zbMATH Keywords

modal logic propositional logic temporal logic predicate logic fundamentals of logic programming Herbrand structures Peano structures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items (1)

This page was built for publication:

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