SMS dit: Basic Concepts of Mathematics and Logic