Mathematical Logic: A course with exercises - Part I - Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems