RUS
ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2021: Conference
10 июня 2021 г.
17:30
, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + online
Strict
$\Pi^1_1$
-reflection: A proof-theoretic perspective
G. Jäger
Язык доклада:
английский
©
МИАН
, 2024