Describir: Basic Concepts of Mathematics and Logic