RUS  ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2021: Conference
10 июня 2021 г. 16:00, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online

Applications of proof theory to core mathematics: Recent developments

U. Kohlenbach




Язык доклада: английский

© МИАН, 2024