TY  - BOOK
AU  - Richman E Ed.
ED  - Conference on constructive mathematics (`980 : Lascruces)
TI  - Proceeding on Constructive Mathematics
T2  - Lecture notes in mathematics; 873
U1  - B:(R)p1,N80, M1 
PY  - 1981///
CY  - New York    
PB  -  Springer-Verlag        
ER  -