Un langage pour la theorie elementaire des ensembles
FR |
EN
Auteur / Autrice : | Marianne Ligou |
Direction : | Jean-François Perrot |
Type : | Thèse de doctorat |
Discipline(s) : | Mathématiques |
Date : | Soutenance en 1987 |
Etablissement(s) : | Paris 6 |
Partenaire(s) de recherche : | autre partenaire : Université Paris Diderot - Paris 7 (1970-2019) |
Résumé
FR
Le langage propose est un outil permettant de manipuler facilement les concepts de la theorie des ensembles