A course in constructive algebra / Ray Mines, Fred Richman, Wim Ruitenburg

Auteur principal : Mines, Ray, 1938-2013, AuteurCo-auteur : Richman, Fred, 1938-, Auteur • Ruitenburg, Wim, 1955-, AuteurType de document : MonographieCollection : UniversitextLangue : anglais.Pays: Etats Unis.Éditeur : New York : Springer, 1988Description : 1 vol. (XI-344 p.) ; 24 cmISBN: 9780387966403.ISSN: 0172-5939.Bibliographie : Bibliogr. p. 335-338. Index.Sujet MSC : 03F05, Proof theory and constructive mathematics, Cut-elimination and normal-form theorems
13-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to commutative algebra
03-01, Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundationsEn-ligne : Springerlink | Zentralblatt | MathSciNet
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode
Monographie Monographie CMI
Salle 1 		03 MIN (Browse shelf(Opens below)) Available 04663-01

The book covers a wide portion of algebra; after an introductory part (regarding the constructive notion of set and the basic algebraic concepts) the successive chapters are devoted to rings and modules, divisibility in discrete domains, principal ideal domains, field theory, factoring polynomials, commutative Noetherian rings, finite-dimensional algebras, free groups, Abelian groups, valuation theory and Dedekind domains. The book may be regarded as self-contained, even though some familiarity with the classical subject is presumed at both the student's and the researcher's level. Some familiarity with the general concepts, methods and purposes of Constructive Mathematics may be useful as well, in order to make smoother the impact with the first chapters of the book. (Zentralblatt)

Bibliogr. p. 335-338. Index

There are no comments on this title.

to post a comment.