Propositional and predicate logic: Syntax, proof theory and semantics up to completeness theorem, Lowenheim Skolem theorems, and applications of the compactness theorem.

Prerequisites: 21-127 and (21-132 or 21-228 or 21-373 or 21-484).