Iteration of relative primitive recursion

DOI10.1007/BF01361215zbMath0192.05002MaRDI QIDQ2538125

P. Axt

Publication date: 1966

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/161470

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (1)

Unary primitive recursive functions

Cites Work

• Unnamed Item
• Extension of an effectively generated class of functions by enumeration

This page was built for publication: Iteration of relative primitive recursion