TY  - BOOK
AU  - Bishop, Errett
TI  - Foundations of constructive analysis
N1  - B3 K7
ER  -