The determinacy of long games - Neeman, Itay 1972- (De Gruyter series in logic and its applications, 2004)