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

Jump to:navigation, search

zbMath0712.03024MaRDI QIDQ3496323

Juan M. Lesmes, Xavier Caicedo

Publication date: 1990

Full work available at URL: https://eudml.org/doc/181834

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

zbMATH Keywords

interpolation decidability cardinality quantifiers elimination of second order quantifiers first order monadic logic

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80)

Related Items (1)

MAXIMALITY OF LOGIC WITHOUT IDENTITY

This page was built for publication:

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