Email Record: A concise introduction to mathematical logic /