Logic, sets, and recursion - Causey, Robert L. (The Jones and Bartlett series in computer science, 1994)