Logic

Instructor: Natasha Portier

Institution: ENS de Lyon

Year: 2024–2025

Course chapters

  1. Propositional logic
  2. First-order logic
  3. Peano axioms
  4. Set theory
  5. Examples of decidable theories