Обсуждение статьи Martin-Löf P. Analytic and Synthetic Judgements in Type Theory
Мероприятие завершено
12 февраля в 16.40 в ауд. Б-513 состоится заседание исследовательского семинара «From the Logical Point of View».
Martin-Löf P. Analytic and Synthetic Judgements in Type Theory (перевод:http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/23/23)
Пер Мартин-Лёф (почетный профессор Стокгольмского университета) - приглашенный докладчик конференции Studia Logica Conference Trends in Logic19, 2019.
Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR
Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR
Дата
12 февраля, 2019 г. 16:40
Адрес
Ст. Басманная ул., д. 21/4, стр. 5