Schema della sezione

    • Proof of the fact that the class of partial recursive functions coincide with the class of URM-computable functions
    • Primitive recursive funcions.  [§3.3]
    • Ackermann's functions: total, computable and not primitive recursive [partially in §2.5.5]