Game-theoretic methods in logic

- Dorfling, Michael Jacobus