Games, Logic And Constructive Sets door Grigori Mints & Reinhard Muskens