Choice sequences a chapter of intuitionistic mathematics
Troelstra, A. S.(Anne Sjerp)
Oxford Clarendon Press
1977
Bibliography: p.161-167. - Includes index
Choice sequences (Mathematics)