Primitive Recursive Functions. II

DOI10.2307/2033448zbMath0067.00203OpenAlexW4240026457MaRDI QIDQ3227565

Raphael M. Robinson

Publication date: 1955

Full work available at URL: https://doi.org/10.2307/2033448

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (7)

Definitional schemes for primitive recursive and computable functions ⋮ Primitive iteration and unary functions ⋮ Generation of invertible functions ⋮ Finite Generation of Recursively Enumerable Sets ⋮ General iteration and unary functions ⋮ Bases for algebras of recursive functions ⋮ Closure functions and general iterates as reflectors

This page was built for publication: Primitive Recursive Functions. II