Email Record: Popular lectures on mathematical logic /