Hodges, W. 1997. Games in Logic. Proceedings of the Amsterdam Colloquium. (Dec. 1997), 13–18.