1. Methodology and metaphysics in the development of Dedekind’s theory of ideals;Avigad,2006
2. Polynomials and radical ideals;Banaschewski;J. Pure Appl. Algebra,1996
3. Eléments de Mathématique. Algèbre commutative;Bourbaki,1965
4. J. Cederquist, Th. Coquand, Entailment relations and distributive lattices, in: Proceeding of Logic Colloquium, 1998
5. Th. Coquand, Constructive topology and combinatorics, in: Constructivity in computer science (San Antonio, TX, 1991), in: Lecture Notes in Comput. Sci., vol. 613, pp. 159–164