An infinitary polynomial van der Waerden theorem

From MaRDI portal
Publication:1291118