Kohlenbach U

Presentations in Math-Net.Ru

1. Applications of proof theory to core mathematics: Recent developments
   U. Kohlenbach
   Logical Perspectives 2021: Conference
   June 10, 2021 16:00