Induction and Recursion

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

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