RUS
ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2021: Summer School and Workshop
18 июня 2021 г.
16:00
, г. Москва, online
On globally sound analytic calculi for quantifier macros
A. Lolic
Язык доклада:
английский
©
МИАН
, 2024