Choice sequences a chapter of intuitionistic mathematics - Troelstra, Anne S. 1939-2019 (Clarendon Press, 1977)
Keywords: Axiomatique; Choice sequences; Choix suite; Histoire logique; Intuitionnisme; Intuïtionisme; Mathématiques intuitionnistes; Séries (mathématiques); Thèse Church; Intuitionistic mathematics; Sequences (Mathematics); Intuitionistische Mathematik; Intuitionismus; Logik