Обсуждение статьи 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)

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