Intuitionism and Constructive Mathematics 1/26
Channel: Ulrik Buchholtz
Date: 2016-01-26

3rd meeting of the seminar on topics in logic: intuitionism and constructive mathematics. Brouwer's analysis and his proofs of the bar and fan theorems.