Options d’inscription
Introduction à la logique, notions ensembles: logique propositionnelle, de premier ordre, déduction naturelle, relations binaires.
Introduction à la logique, notions ensembles: logique propositionnelle, de premier ordre, déduction naturelle, relations binaires.