Logic, foundations of mathematics, and computability theory (Reidel, 1977)