Résumé de section

    • Course validation: one homework and one exam.

      Final exam: friday 15/05/25, Sorbonne, Room F366
      9h-11h
    • Gamut L. T. F., Introduction to logic, vol. 1, 1991, The university of Chicago Press.

      James W. Garson, Modal Logic for Philosophers, 2006, Cambridge.

      Sets, Logic, Computation. An open introduction to metalogic. 2021+. University of Calgary.