Constructive mathematics: proceeding of the New Mexico State Univesity Conference Held at Las Cruces, New Mexico, August 11-15, 1980 - Richman, Fred