Feuille 3 : Bases de logique (correction)
Université Claude Bernard Lyon 1. UE Fondamentaux des Mathématiques I. Semestre d'automne 2021-2022. Feuille 3 : Bases de logique (correction). Exercice 3.1.
Université Claude Bernard Lyon 1. UE Fondamentaux des Mathématiques I. Semestre d'automne 2021-2022. Feuille 3 : Bases de logique (correction). Exercice 3.1.