Hodges, W. Games in Logic. Proceedings of the AC 1997, 13-18.