SMS dit: First course in mathematical logic