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