RUS
ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2021: Conference
7 июня 2021 г.
16:00
, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
Löb's principle for pair theories
A. Visser
Язык доклада:
английский
©
МИАН
, 2024