science · 30 November 1966 · 58 years ago
Errett Bishop publishes Foundations of Constructive Analysis, proving theorems in real analysis using constructive analysis.
More science on 30 Nov