Théorie des ordres denses
| Qualité | Numéro | Titre |
|---|
Utilisateur : Devevey
Peut se placer dans les leçons 924 et 918 aussi'
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Utilisateur : Gayral
'
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)
Utilisateur : Meven
Démonstration par l'élimination des quantificateurs.'
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)