Über den Zusammenhang der verschiedenen Begriffe der rekursiven Funktion
From MaRDI portal
Publication:1840177
DOI10.1007/BF01448046zbMath0010.24101MaRDI QIDQ1840177
Publication date: 1934
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/159741
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items
A complete theory of natural, rational, and real numbers, Probleme der Hilbertschen Theorie der höheren Stufen von rekursiven Funktionen, General recursive functions of natural numbers., Recursive Functions and Intuitionistic Number Theory, Recursive Functions and Intuitionistic Number Theory, Konstruktion nichtrekursiver Funktionen, Über die mehrfache Rekursion., Konstruktion nichtrekursiver Funktionen., General recursive functions of natural numbers, Über die mehrfache Rekursion, Arithmetical Predicates and Function Quantifiers, On automorphisms of arbitrary mathematical systems, The theory of recursive functions, approaching its centennial