Constructive Commutative Algebra: Projective Modules Over Polynomial Rings and D
68,24 €
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:
