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

scientific article; zbMATH DE number 1870426

From MaRDI portal

Publication:4793038

Jump to:navigation, search

zbMath1025.03004MaRDI QIDQ4793038

Paolo Mancosu

Publication date: 18 February 2003

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

zbMATH Keywords

Gödel existence proofs Bernays indirect proofs Behmann constructivity of proofs Kaufmann

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Metamathematics of constructive systems (03F50) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Gödel and Intuitionism

This page was built for publication:

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