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

Jump to:navigation, search

zbMath0762.03021MaRDI QIDQ4023246

Giovanni Sommaruga-Rosolemos

Publication date: 23 January 1993

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

zbMATH Keywords

arithmetic provability logic recursion theory numeration theory fixed point constructions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Computability and recursion theory (03D99) Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Remarks on Uniformly Finitely Precomplete Positive Equivalences

This page was built for publication:

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