Proof-theoretic pluralism. Co-determination on two levels.

Activity: Talk or presentation types › Invited talk

Period26 Nov 2020 → 28 Nov 2020
Event titleAxiomatics: Ancient and Contemporary Perspectives. 31st Novembertagung on the History and Philosophy of Mathematics
Event typeConference
Conference number31
LocationBerlin, GermanyShow on map
Degree of RecognitionInternational