Email Record: Philosophy of logic and mathematics :