Constructive mathematics : proceedings of the New Mexico State university conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman
Date : 1981
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 0-387-10850-5
ISBN : 3-540-10850-5
Mathématiques constructives
Mathématiques intuitionnistes
Classification Dewey : 510 s
Collection : Lecture notes in mathematics / ed. by A. Dold and B. Eckmann / Berlin : Springer , 1964-
Relation : Constructive Mathematics : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman / Berlin [etc.] : Springer