Games, Logic, and Constructive Sets sidottuEnglanti, 2003