Recursively enumerable sets and van der Waerden's theorem on arithmetic progressions

From MaRDI portal
Publication:1061736