Обсуждение статьи Martin-Löf P. Analytic and Synthetic Judgements in Type Theory

Мероприятие завершено

26 февраля в 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

Дата

26 февраля 16:40

Адрес

Ст. Басманная ул., д. 21/4, стр. 5

В статье упомянуты