32 ERRETT A. BISHOP 22. Myhill, J., Formal Systems of Intuitionistic Analysis XII-Lawlike Analysis, to appear. 23. Nuber, J., A Constructive Ergodic Theorem, Trans. AMSs 164 (1972), 115-137. 24. Nuber, J., A Constructive Roof of the Chacon-Ornstein Theorem, to appear. 25. Richman, F., A Constructive Modification of Vietoris Homology, to appear. 26. Richman, F., The Constructive Theory of Countable Abelian P- Groups, to appear in Pacific Jour. Math. 27. Spector, C., Provably Recursive Functionals of Analysis, in Amer. Math. Soc. Symposium on Pure Mathematics, No. 5, Providence, 1962, 1-27. 28. Stolzenberg, G. , A Critical Analysis of Banachls Open Mapping Theorem, to appear. 29. Tennenbaum, J., Ph. D. Dissertation, University of California, San Diego, 197 3. 30 van der Meulen, S. G. and C. H. Lindsey, "Informal Introduction to Algol 68, " Math. Centrurn, Amsterdam, 1969. 31. van Rootselaar, B., Generalization of the Brouwer Integral, Ph. D. Dissertation, Amsterdam, 1954. 32. Weyl, H. . "Das Kontinuum, I t Leipzig, 1918. Reprinted by Chelsea, New York, 1932.
Previous Page Next Page