General information
Résumé de section
-
-
Course validation: one homework and one exam.Final exam: friday 15/05/25, Sorbonne, Room F3669h-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.