Choice sequences A chapter of instuitionistic mathematics. - Troelstra A S (Oxford Clarendon Press, 1977)