この資料をSMS送信: Foundations of constructive analysis - Errett Bishop