Mendler Michael

Presentations in Math-Net.Ru

1. The Došen Square under construction: A tale of four modalities
   M. Mendler
   Seminars "Proof Theory" and "Logic Online Seminar"
   November 15, 2021 18:30