Email Record: Aspects of mathematical logic :