Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen
From MaRDI portal
Publication:3781750
DOI10.1002/malq.19870330607zbMath0641.03028MaRDI QIDQ3781750
Hilbert Levitz, Warren D. Nichols
Publication date: 1987
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19870330607
03D20: Recursive functions and relations, subrecursive hierarchies