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
Ternary Recursive Arithmetic. - MaRDI portal

Ternary Recursive Arithmetic.

From MaRDI portal

Publication:5728448

Jump to:navigation, search

DOI10.7146/math.scand.a-10528zbMath0118.01504OpenAlexW2531898073MaRDI QIDQ5728448

Publication date: 1962

Published in: MATHEMATICA SCANDINAVICA (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/165804

zbMATH Keywords

mathematical logic

Related Items

-arithmetic and transfinite induction ⋮ TWO (OR THREE) NOTIONS OF FINITISM

This page was built for publication: Ternary Recursive Arithmetic.

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