We will give an introduction to constructive analysis following Errett Bishops book "Foundations of Constructive Analysis". We start by covering elementary real analysis, and the aim is to cover Chapter 5 on Complex Analysis.
Speaker: Erlend F. WoldÂ
Lecture II: Chapter 2 in Bishop.