On the origin and development of Brouwer’s concept of choice sequences (1982)

by A S Troelstra
Venue:In van Dalen and Troelstra