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