IUMJ

Title: A Constructive Ergodic Theorem

Authors: Errett Bishop

Issue: Volume 17 (1968), Issue 7, 631-639

Abstract: pdf

file available