Fondement de l'informatique (Logique - L2MPCIE - 21/22)

Espace dédié à la logique propositionnelle dans ses aspects morphologiques, sémantiques (théorie des modèles) et syntaxiques (théorie de la preuve).