The course is split into 11 topics, numbered 0 to 10. Each topic corresponds to roughly a week's worth of the course.
The pages linked to below contain the lecture notes, covering the material introduced in the lectures. They also contain interactive exercises for you to do.

• Topic 0 is a (re)introduction to the basic concepts of Propositional Logic.
  [...]
• Topic 1 is Entailment and Deduction.
  [...]
• Topic 2 is Proof for Propositional Logic.
  [...]
• Topic 3 is Predicate Logic.
  [...]
• Topic 4 is Proof for Predicate Logic.
  [...]
• Topic 5 is Specification and Verification.
  [...]
• Topic 6 is Programs with Loops.
  [...]
• Topic 7 is Programs with Arrays.
  [...]
• Topic 8 is Semantics of Predicate Logic.
  [...]
• Topic 9 is Automating Logic.
  [...]
• Topic 10 is Undecidability.