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

Cached

Download Links

by Thierry Coquand
Venue:Journal of Pure and Applied Algebra
Citations:3 - 0 self