Logic, Sets, and Recursion (Jones and Bartlett Books in Mathematics)