Email Record: Logic, Foundations of Mathematics, and Computability Theory :