Maths›03. Logic and Foundations10.1 Recursive FunctionsPrimitive recursive functions, general recursive functions, minimization, and the formal construction of computable numerical functions.