Email Record: Methods and applications of mathematical logic :