Email Record: Aspects of mathematical logic.