Logic, foundations of mathematics, and computability theory / ed. by Robert E. Butts ...