RUS  ENG
Full version
VIDEO LIBRARY
Logical Perspectives 2021: Conference
June 10, 2021 16:00, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online

Applications of proof theory to core mathematics: Recent developments

U. Kohlenbach




Language: English

© Steklov Math. Inst. of RAS, 2024