You will cover theoretical underpinnings including the syntax and semantics of propositional and predicate logics, natural deduction, notions such as soundness, completeness and (un)decidability, ...