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

scientific article; zbMATH DE number 7095141

From MaRDI portal

Publication:5229671

Jump to:navigation, search

zbMath1418.01005MaRDI QIDQ5229671

Wilfried Sieg

Publication date: 16 August 2019

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

zbMATH Keywords

metamathematics proof theory natural deduction incompleteness finitism general reductive theory structural mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 21st century (01A61) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to history and biography (01-06) History of mathematics in the 19th century (01A55) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in the philosophy of science (03A10) Collections of reprinted articles (00B60)

This page was built for publication:

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