Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 149 p.
ISBN 978-0-521-31802-0
London mathematical society lecture note series , 0097
Localisation : Collection 1er étage
analyse constructive # constructibilité # intuitivité # logique mathématiques # logique symbolique # mathématiques constructives # mathématiques intuitives
03E45 ; 03F50 ; 03F55 ; 03F60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 344 p.
ISBN 978-0-387-96640-3
Universitext
Localisation : Ouvrage RdC (MINE)
algèbre # construction
03F65 ; 13-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 260 p.
ISBN 978-0-8493-0301-2
Localisation : Ouvrage RdC (JOHN)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xii; 399 p.
ISBN 978-2-84867-782-8
Didactiques. Mathématiques
Localisation : Ouvrage RdC (MINE)
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
... Lire [+]
