Logic, Sets And Recursion door Robert L. Causey