Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 149 p.
Cote : 00010967
analyse constructive # constructibilité # intuitivité # logique mathématiques # logique symbolique # mathématiques constructives # mathématiques intuitives
03E45 ; 03F50 ; 03F55 ; 03F60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 344 p.
Cote : 00011880
algèbre # construction
03F65 ; 13-01
Localisation : Ouvrage RdC (MINE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 260 p.
Cote : 00040216
théorie des nombres algébriques # exercices # symétrie # système de nombres # transformation conservant la structure # modèle # champ fini # algèbre linéaire # code correcteur d'erreurs
00A05 ; 11-01 ; 20-01 ; 15-01 ; 11T71 ; 11Rxx ; 94B99
Localisation : Ouvrage RdC (JOHN)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xii; 399 p.
Cote : 00040742
mathématiques constructives de Bishop # algèbre constructive # anneau # module # divisibilité # idéal principal # polynôme de factorisation # anneau norvégien commutatif # algèbre à dimensions finies # groupe libre # groupe abélien # théorie de l'évaluation # domaine de Dedekind
03F65 ; 13-01 ; 03-01
Localisation : Ouvrage RdC (MINE)
English