Kohlenbach Ulrich

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

1. Applications of proof theory to core mathematics: Recent developments
   U. Kohlenbach
   Logical Perspectives 2021: Conference
   10 июня 2021 г. 16:00