Games, Logic, and Constructive Sets