Choice sequences a chapter of intuitionistic mathematics - Troelstra, Anne S. 1939-2019 (Oxford logic guides, 1977)