Intuitionism and Constructive Mathematics 2/23
Channel: Ulrik Buchholtz
Date: 2016-02-23

6th meeting of the seminar on topics in logic: intuitionism and constructive mathematics: Kleene realizability and variations.