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

scientific article; zbMATH DE number 910447

From MaRDI portal

Publication:4888338

Jump to:navigation, search

zbMath0849.03025MaRDI QIDQ4888338

Andrzej Pietruszczak

Publication date: 4 November 1996

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

zbMATH Keywords

calculus of names cardinalities of models

Mathematics Subject Classification ID

Logic of natural languages (03B65) Model theory (03C99)

Related Items (2)

An axiomatisation of a pure calculus of names ⋮ Pure modal logic of names and tableau systems

This page was built for publication:

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