## A constructive topological proof of van der Waerden's theorem (1993)

by
Thierry Coquand

Venue: | Journal of Pure and Applied Algebra |

Citations: | 3 - 0 self |