RUS
ENG
Full version
VIDEO LIBRARY
Logical Perspectives 2021: Conference
June 10, 2021
17:30
, Moscow, Steklov Mathematical Institute, Room. 110 (8 Gubkina) + online
Strict
$\Pi^1_1$
-reflection: A proof-theoretic perspective
G. Jäger
Language:
English
©
Steklov Math. Inst. of RAS
, 2024