Обсуждение статьи 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](https://upload.wikimedia.org/wikipedia/commons/thumb/1/19/Per_MartinLoef.jpg/267px-Per_MartinLoef.jpg)
Регистрация (если Вам нужен пропуск в Вышку): http://goo.gl/forms/1P7WGGI7NR