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

scientific article; zbMATH DE number 221855

From MaRDI portal

Publication:4697297

Jump to:navigation, search

zbMath0789.03002MaRDI QIDQ4697297

Warren D. Goldfarb

Publication date: 29 June 1993

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

zbMATH Keywords

counterexamples numerical bounds Herbrand Theorem Gödel's correction

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Classical first-order logic (03B10) History of mathematical logic and foundations (03-03)

Related Items (5)

Guest editor's introduction: JvH100 ⋮ Jean van Heijenoort and the Gödel editorial project ⋮ Jean van Heijenoort's contributions to proof theory and its history ⋮ Herbrand's fundamental theorem in the eyes of Jean van Heijenoort ⋮ On Herbrand's theorem

This page was built for publication:

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