Logic, foundations of mathematics, and computability theory / ed. by Robert E. Butts ... Dordrecht [u.a.] : Reidel, 1977