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
Diagonalizing by Fixed-Points - MaRDI portal

Diagonalizing by Fixed-Points

From MaRDI portal

Publication:6240070

Jump to:navigation, search

zbMath1405.18001arXiv1303.0730MaRDI QIDQ6240070

Ahmad Karimi, Saeed Salehi

Publication date: 4 March 2013

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Temporal logic (03B44) Graphs, diagram schemes, precategories (18A10) Foundations, relations to logic and deductive systems (18A15)

This page was built for publication: Diagonalizing by Fixed-Points

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