Functionals defined by recursion.

• 1 July 1967
• journal article
• Published by Duke University Press in Notre Dame Journal of Formal Logic
• Vol. 8  (3) , 161-174
• https://doi.org/10.1305/ndjfl/1093956080

Abstract