Доклад Константина Шишова в МИАН им. Стеклова
21 декабря на семинаре "Неклассические логики" состоялся доклад Константина Шишова "Исчисление Ламбека и реляционная семантика: некоторые результаты о полноте".
Мы используем файлы cookies для улучшения работы сайта НИУ ВШЭ и большего удобства его использования. Более подробную информацию об использовании файлов cookies можно найти здесь, наши правила обработки персональных данных – здесь. Продолжая пользоваться сайтом, вы подтверждаете, что были проинформированы об использовании файлов cookies сайтом НИУ ВШЭ и согласны с нашими правилами обработки персональных данных. Вы можете отключить файлы cookies в настройках Вашего браузера.
Заведующий лабораторией:
Заместитель заведующего:
Менеджер:
105066, г. Москва, Старая Басманная, 21/4, А-121, А-122, Б-513.
+7 (495) 772-95-90 доб. 22702
llfp@hse.ru
Заведующий лабораторией:
Заместитель заведующего:
Менеджер:
105066, г. Москва, Старая Басманная, 21/4, А-121, А-122, Б-513.
+7 (495) 772-95-90 доб. 22702
llfp@hse.ru
21 декабря на семинаре "Неклассические логики" состоялся доклад Константина Шишова "Исчисление Ламбека и реляционная семантика: некоторые результаты о полноте".
Шрифты HSE Sans и HSE Slab разработаны в Школе дизайна НИУ ВШЭ