The length of some diagonalization games

From MaRDI portal
Publication:1283129