Text this: Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka.