Iemhoff Rosalie

Presentations in Math-Net.Ru

1. The role of uniform interpolation in structural proof theory
   R. Iemhoff
   Seminars "Proof Theory" and "Logic Online Seminar"
   January 18, 2021 18:30