Email Record: Mathematical logic and theoretical computer science