Ilić Mirjana

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

1. Gentzenizing $R$
   M. Ilić
   Logical Perspectives 2021: Summer School and Workshop
   18 июня 2021 г. 10:30