Gentzen Games

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

@article{Jervell85a,
  title = {Gentzen Games},
  author = {Herman Ruge Jervell},
  year = {1985},
  doi = {10.1002/malq.19850312506},
  url = {http://dx.doi.org/10.1002/malq.19850312506},
  researchr = {https://researchr.org/publication/Jervell85a},
  cites = {0},
  citedby = {0},
  journal = {Math. Log. Q.},
  volume = {31},
  number = {25-28},
  pages = {431-439},
}