Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00004233
analyse non standard # calcul différentiel et intégral # espace linéaire # fonction d'une variable réelle ou complexe # groupe topologique de Lie # histoire # logique mathématique # topologie générale
03-03 ; 03H05 ; 22Exx ; 26Axx ; 30Axx
Localisation : Ouvrage RdC (R)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 270 p.
Cote : 00001017
aérodynamique # aéronautique # Robinson # oeuvres complètes
01A60 ; 01A75 ; 73Kxx ; 76-03 ; 76J20
Localisation : Oeuvres complètes RdC (ROBI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 284 p.
Cote : 00004227
calcul des prédicats # complétude # définabilité # métamathématique de l'algèbre # théorie algébrique # théorie des modèles # théorie métamathématique des idéaux # théorie métamathématique des variétés
03C35 ; 03C40 ; 03Cxx
Localisation : Ouvrage RdC (ROBI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 129 p.
Cote : 00000182
complétion # groupe complet en modèles et corps # théorie complète # théorème de Gödel # transformée syntactique
03C35 ; 03Cxx
Localisation : Ouvrage RdC (ROBI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 694 p.
Cote : 00001015
algèbre différentielle # corps algébrique # théorie des modèles # Robinson # oeuvres complètes
01A60 ; 01A75 ; 03-03 ; 12-03
Localisation : Oeuvres complètes RdC (ROBI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 582 p.
Cote : 00001016
analyse non standard # philosophie des mathématiques # Robinson # oeuvres complètes
00A30 ; 01A60 ; 01A75 ; 03Hxx
Localisation : Oeuvres complètes RdC (ROBI)