La droite réelle $\mathbb R$ [C1.IV.1] Auteur : Jean BarbetCatégorie : 1.IV.La Droite Réelle et le Plan Euclidien Continuer à lire
Fonctions et ensembles récursifs primitifs [C3.I.1] Auteur : Jean BarbetCatégorie : 2.I.Logique et Structures Continuer à lire
Polynômes à une indéterminée [C2.III.1] Auteur : Jean BarbetCatégorie : 1.VII.Arithmétique des Nombres et Fonctions Continuer à lire
[Archive] Arithmétique des nombres rationnels [Ancien C1.III.6] Auteur : Jean BarbetCatégorie : Continuer à lire
L’ensemble $\mathbb Q$ des nombres rationnels [C1.III.3] Auteur : Jean BarbetCatégorie : 1.III.Arithmétique Elémentaire Continuer à lire
