TY - BOOK AU - Richman F ed. ED - New Mexico State University Conference on Constructive Mathematics( 1980 : Las Cruces,New Mexico ) ED - New Mexico State University Conference on Constructive Mathematics TI - Constructive mathematics: proceedings SN - 3-540-10850-5 U1 - 511.3 PY - 1981/// CY - Berlin PB - Springer-Verlag KW - Constructive mathematics KW - Mathematical logic ER -