Causey R. Logic, Sets, and Recursion 1994