Arithmetical Foundations - Recursion. Evaluation. Consistency - Michael Pfender (2013)