Recursive Functions of One Variable
From MaRDI portal
Publication:5551451
DOI10.2307/2035317zbMath0165.31601MaRDI QIDQ5551451
Publication date: 1968
Full work available at URL: https://doi.org/10.2307/2035317
03D20: Recursive functions and relations, subrecursive hierarchies
Related Items
Generalizing proofs in monadic languages (with a postscript by Georg Kreisel)., Primitive iteration and unary functions, General iteration and unary functions, Undecidability and chaos in word-coded symbolic dynamics
Cites Work