Induction and Recursion

"Induction and Recursion. David Pierce. November ,. Contents. Introduction.. 
Number theory.. Algebra.. Propositional logic."

http://mat.msgsu.edu.tr/~dpierce/Mathematics/Recursion/induction-recursion-dm-2.pdf