Ce site correspond à la partie du cours de LLC 2 consacrée à l'axiomatisation et aux techniques de démonstration.
- Nauczyciel: Samuel LE GENDRE
- Nauczyciel: Lionel NGUYEN VAN THE
- Nauczyciel: Frederic OLIVE
Ce site correspond à la partie du cours de LLC 2 consacrée à l'axiomatisation et aux techniques de démonstration.