Email Record: Contributions to mathematical logic :