Email Record: Fundamentals of mathematical logic /