I am looking for a book/site which has the English translation of the proof of van der Waerden's theorem as presented by van der Waerden himself. In other words is the translation of the paper:
van der Waerden, B. L. "Beweis einer Baudetschen Vermutung." Nieuw Arch. Wisk. 15, 212-216, 1927.
available anywhere?
Thanks.
Digitized versions of the first and second series of the journal "Nieuw Archief voor Wiskunde" are available at Delpher, an open access site hosted by the Royal Library of the Netherlands (Koninklijke Bibliotheek).
The specific paper of B. L. van der Waerden[1] that you're looking for that appears in the second series of this journal can be accessed at the PURL: https://resolver.kb.nl/resolve?urn=MMKWG01:022157001:00228. While this isn't a translation of the paper, having the original paper in hand is definitely an asset. Google Translate is decent enough that you will probably be able to understand most of the paper with its help.
Instead of a translation of the paper, you could also do as Andrés E. Caicedo suggests in the comments and take a look at the expository article written by van der Waerden himself in 1954 about how he arrived at the proof of Baudet's conjecture[2]. This article was translated from German into English and published in 1971[3], and was republished in 2009[4]. One of these versions might turn out to be more easily accessible. You will also find several of the reprints of this article indexed at zbMATH Open.