Gentzen Games

Herman Ruge Jervell. Gentzen Games. Math. Log. Q., 31(25-28):431-439, 1985. [doi]