The videos by Shai can be found on youtube. So this course is not officially offered…

These notes cover mathematical logic. Topics include propositional logic (syntax, semantics, proof systems with axioms and modus ponens), formal proofs and proofs from assumptions, consistency, first-order logic (predicate calculus, languages, free variables), and semantics for first-order logic.