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