Search a Conference through our dedicated search page

Workshop — Mathematical Logic: Proof Theory, Constructive Mathematics

8th November 2020   -   14th November 2020
Oberwolfach, Germany
https://www.mfo.de/www/schedule/2020/all
Save

Abstract

Workshop — Mathematical Logic: Proof Theory, Constructive Mathematics