Email Record: Mathematical logic and programming languages /