- Survey of game-theoretical approaches to logic; by Wilfrid Hodges.
- Wikipedia article.
- Paper by Andreas Blass.
- Open Encyclopedia article.
- A discussion of how linear logic relates to computability logic, - the game-sematically introduced logic of computational resources and interactive computation.