RUS
ENG
Полная версия
ВИДЕОТЕКА
Logical Perspectives 2021: Summer School and Workshop
19 июня 2021 г.
15:00
, г. Москва, online
Lindström theorem for predicate intuitionistic logic
G. Olkhovikov
Язык доклада:
английский
©
МИАН
, 2024
