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

scientific article

From MaRDI portal

Publication:3832565

Jump to:navigation, search

zbMath0677.03040MaRDI QIDQ3832565

Grigori Mints

Publication date: 1989

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

zbMATH Keywords

Hilbert epsilon-substitution method theory of hereditarily finite sets

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Other classical set theory (including functions, relations, and set algebra) (03E20) Complexity of proofs (03F20)

Related Items (2)

Epsilon substitution method for elementary analysis ⋮ A method of epsilon substitution for the predicate logic with equality

This page was built for publication:

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