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
Equational calculus for primitive recursive rational-valued functions - MaRDI portal

Equational calculus for primitive recursive rational-valued functions

From MaRDI portal

Publication:1245952

Jump to:navigation, search

DOI10.1007/BF01084087zbMath0375.02033MaRDI QIDQ1245952

Publication date: 1976

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

Recursive number theory. A development of recursive arithmetic in a logic-free equation calculus

This page was built for publication: Equational calculus for primitive recursive rational-valued functions

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