Constructive mathematics. Proceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980
scientific article; zbMATH DE number 3708280