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

scientific article; zbMATH DE number 1377701

From MaRDI portal

Publication:4703132

Jump to:navigation, search

zbMath0935.03049MaRDI QIDQ4703132

Takashi Nagashima

Publication date: 14 December 1999

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

zbMATH Keywords

Gödel numbering game logic undecidable sentences

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Proof theory in general (including proof-theoretic semantics) (03F03) Other infinitary logic (03C75) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication:

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