Proceeding on Constructive Mathematics - Richman E Ed.; Conference on constructive mathematics (`980 : Lascruces) (New York Springer-Verlag, 1981)