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

scientific article; zbMATH DE number 3606451

From MaRDI portal

Publication:4172048

Jump to:navigation, search

zbMath0391.03025MaRDI QIDQ4172048

Grigori Mints

Publication date: 1976

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

zbMATH Keywords

Arithmetic Ordinals Canonical Search-Tree of Derivation Cut Rule Omega Rule Primitive Recursive Operator

Mathematics Subject Classification ID

Computability and recursion theory (03D99) Recursive ordinals and ordinal notations (03F15) General logic (03B99) Proof theory and constructive mathematics (03F99)

Related Items (1)

Proof Search Tree and Cut Elimination

This page was built for publication:

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