Choice sequencesde A. S. Troelstra · Publicada por primera vez en 1977MateriasIntuitionistic mathematicsSequences (Mathematics)Ediciones (1)Choice sequences (1977)Clarendon Press · inglésMás obras de A. S. TroelstraCConstructivism in Mathematics Vol. 2Constructivism in Mathematics Vol. 2TTijgers op de AraratTijgers op de AraratCConstructivism in Mathematics, Vol 1Constructivism in Mathematics, Vol 1