Email Record: Logic and Foundations of Mathematics :