Hidden constructions in abstract algebra: Krull dimension of distributive lattices and commutative rings
Paper i proceeding, 2003
Författare
Thierry Coquand
Göteborgs universitet
Henri Lombardi
Lecture Notes in Pure and Applied Mathematics
0075-8469 (ISSN)
Vol. 231 477-4990-8247-0855-5 (ISBN)
Ämneskategorier
Matematik
ISBN
0-8247-0855-5