Logic, Sets And Recursion by Robert L. Causey