Essays in constructive mathematics
Mention d'édition :2005th ed. Publié par : Springer ([S.l.] ) Détails physiques : 232 p. 24 cm. ISBN :0387219781 (hardcover); 9780387219783 (hardcover).
Sujet(s) :
Algebra
|
Constructive mathematics
|
Geometry, Algebraic
|
Logic, Symbolic and mathematical
|
Mathematics
|
Number theory
|
Sequences (Mathematics)
Année : 2004
Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres | Réservations |
---|---|---|---|---|---|---|
Livre | La bibliothèque des Sciences Exactes et Naturelles | 511.3 EDW (Parcourir l'étagère) | Disponible | 0000000019190 |
Total des réservations: 0
Survol La bibliothèque des Sciences Exactes et Naturelles Étagères Fermer l'étagère
511.3 CAR DNA computing : | 511.3 DOW Parameterized complexity | 511.3 DYB Semantics and logics of computation | 511.3 EDW Essays in constructive mathematics | 511.3 GRA Treatise on intuitionistic type theory | 511.3 HAD Les systèmes de production automatisés : modélisation et conduite par les Réseaux de Petri / | 511.3 HER Axiom of choice |
Contents and treatment are fresh and very different from the standard treatments Presents a fully constructive version of what it means to do algebra The exposition is not only clear, it is friendly, philosophical, and considerate even to the most naive or inexperienced reader.
Il n'y a pas de commentaire pour ce document.