Email Record: Introduction to elementary mathematical logic /