theorem and a system of ordinal notations (0)

by Brouwer's bar
Venue:Myhill and Vesley [1970