Bibliography: p.161-167. _ Includes index.
Choice sequences : a chapter of intuitionistic mathematics by A. S. Troelstra. ISBN 019853163X. Published by Clarendon Press in 1977. Publication and catalogue information, links to buy online and reader comments.