Computability via Recursive Functions

An overview of recursive functions with ~20 proofs showing that the primitive recursive functions do not capture the intuitive notion of "effective calculability"