Zu den Primitiv-Rekursiven Funktionen Über Einem Bereich Endlicher Mengen
From MaRDI portal
Publication:5682315
DOI10.1007/BF01977295zbMath0265.02027OpenAlexW2073229248MaRDI QIDQ5682315
Publication date: 1967
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137797
Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (1)
Cites Work
This page was built for publication: Zu den Primitiv-Rekursiven Funktionen Über Einem Bereich Endlicher Mengen
