Logic, Sets, And Recursion door Robert L. Causey