Readings
Conditions d’achèvement
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.