The role of uniform interpolation in structural proof theory

Activity: Talk or presentation › Invited talk › Academic

Period12 Jan 2021
Event titleLogic Online Seminar Moscow
Event typeSeminar
Degree of RecognitionInternational