8 weeks September-December 2023. The whole lecture notes are available here (please notify me if you find any typo/mistake).

• Week 1: quantifier and connectives, exercises sheet.
• Week 2: how to make proofs, exercises sheet.
• Week 3: sets, exercises sheet.
• Week 4: sets and functions, exercises sheet.
• First homework: proofs, sets and functions or Kripke-Joyal Semantics in sets..
• Week 9: groups theory: definition, exercises sheet.
• Week 10: modular arithmetic, exercises sheet.
• Week 11: Lagrange theorem, exercises sheet.
• Week 12: rings, exercises sheet.
• Second homework: around permutation groups.