Logic, sets, and recursion - Causey, Robert L.