1 problem

Let $R$ be an operator-only Pure Recursive Calculus with a recursor rule of the form … The step argument $s$ is unrestricted, and an internally definable measure means a measure sa…