Logic, sets and recursion - Causey, Robert L. (Jones and Bartlett, 2010)