• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Важные объявления 1

Мероприятия

Обсуждение статьи 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)
Per MartinLoef.jpg
Пер Мартин-Лёф (почетный профессор Стокгольмского университета) - приглашенный докладчик конференции Studia Logica Conference Trends in Logic19, 2019.


Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR