Email Record: Topics in modern logic /