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

scientific article; zbMATH DE number 877752

From MaRDI portal

Publication:4877445

Jump to:navigation, search

zbMath0854.03007MaRDI QIDQ4877445

Twan Laan, Fairouz Kamareddine

Publication date: 16 July 1996

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

zbMATH Keywords

coding Kripke's theory of truth finite levels of truth orders of quantification Russell's ramified theory of types

Mathematics Subject Classification ID

Related Items (1)

A modern elaboration of the ramified theory of types

This page was built for publication:

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