Choice sequences : a chapter of intuitionistic mathematics - Troelstra, A. S. (Anne Sjerp) (Oxford : Clarendon Press, 1977)
Bibliografía: p. [161]-167.
MR
Keywords: Intuitionistic mathematics; Sequences (Mathematics)