Admissibility in some Intuitionistic Provability Logics

  • Iris van der Giessen (Invited speaker)

Activity: Talk or presentation › Poster/paper presentation › Academic

Period10 Nov 2020
Event titleOberwolfach Workshop Mathematical Logic: Proof Theory, Constructive Mathematics
Event typeConference
LocationOberwolfach, GermanyShow on map
Degree of RecognitionInternational