SCV seminar - Constructive analysis I

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 I: Introduction, and start on Chapter 2 in Bishop.