RUS
ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2018
17 мая 2018 г.
10:00
, г. Санкт-Петербург, Международный математический институт им. Леонарда Эйлера, Песочная наб., 10
On the computational content of theorems
Vasco Brattka
Язык доклада:
английский
©
МИАН
, 2024