1. Constructive Mathematics;Bishop,1985
2. Douglas Brown, Notions of compactness in weak subsystems of second order arithmetic, to appear in [21]
3. Notions of closed subsets of a complete separable metric space in weak subsystems of second-order arithmetic;Brown,1990
4. Vitali’s theorem and WWKL;Brown;Archive for Mathematical Logic,2002
5. A Course in Functional Analysis;Conway,1990