Iemhoff Rosalie

Доклады и лекции в базе данных Math-Net.Ru

1. The role of uniform interpolation in structural proof theory
   R. Iemhoff
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   18 января 2021 г. 18:30