Introduction to Semantics and Formalization of Logic