Logic, Sets, And Recursion by Robert L. Causey