This title links two of the most dominant research streams in philosophy of logic, namely game theory and proof theory. …
