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