00960nam0-22003011i-450-9900010230004033213-540-10850-5000102300FED01000102300(Aleph)000102300FED0100010230020000920d1981----km-y0itay50------baengConstructive mathematicsProceedings of the New Mexico State University Conference held at Las Cruces, New Mexico, August 11-15, 1980edited by Fred RichmanBerlin [etc.]Springer-Verlag1981VI, 347 p.24 cmLecture Notes in Mathematics873Fondamenti della logica matematica e probabilità519Richman,Fred48605ITUNINARICAUNIMARCBK9900010230004033214A-15112589FI1FI1Constructive mathematics339692UNINAING01