Constructive Commutative Algebra: Projective Modules Over Polynomial Rings and D
70,35 €
From a logical point of view, the dynamical evaluation gives a constructive substitute for two highly nonconstructive toolsof abstract algebra: the Law of Excluded Middle and Zorn's Lemma. These lecture notes follow this dynamical philosophy.
Jetzt bei Ebay:
