Indécidabilité de la théorie des anneaux de séries formelles à plusieurs indéterminées
Volume 112 / 1981
Fundamenta Mathematicae 112 (1981), 215-229
DOI: 10.4064/fm-112-3-215-229