Gentzen Games

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

Authors

Herman Ruge Jervell

This author has not been identified. Look up 'Herman Ruge Jervell' in Google