Generating non-Noetherian modules constructively

• Autores: T. Coquand, Henri Lombardi
• Localización: Manuscripta mathematica, ISSN 0025-2611, Vol. 115, Nº 4, 2004, pág. 513
• Idioma: inglés
• DOI: 10.1007/s00229-004-0509-2
• Texto completo no disponible (Saber más ...)