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

Activity: Talk or presentation typesInvited talk

Period26 Nov 202028 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