An individual ergodic theorem on the Hilbert space logic Tatiana Lutterová; Sylvia Pulmannová — 1985 Mathematica Slovaca