01059nam--2200325---450099000107684020331620020507121041.0000107684USA01000107684(ALEPH)000107684USA0100010768420020507d1981----km-y0ENGy0103----baengDEConstructive mathematicsproceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15 1980edited by F. RichmanBerlinSpringer verlag1981VI, 347 p.24 cmLecture notes in mathematics8732001Lecture notes in mathematics873510ITsalbcISBD990001076840203316510 LNM 873 A1112451000109973510 LNM 873 B775251000109974BKSCIALESSANDRA9020020507USA011210PATRY9020040406USA011715Constructive mathematics79973UNISA