Archive année 2020-2021 Licence 1e-2è année Philosophie générale e ...
UP1-PROG-10-L2K202-119 - Licence 1e-2è année Philosophie générale et parc. Logique
Un langage polyadique pour la logique du premier ordre ; Logique, axiomatisation, formalisation ; Preuves formelles en déduction naturelle ; Logique des modalités