Logic, sets, and recursion - Causey, Robert L. (Jones and Bartlett Publishers,(Indian Edition), 2006)