Email Record: Introduction to Mathematical Logic :