Результаты исследований: Научные публикации в периодических изданиях › комментарий, выступление › Рецензирование
Переведенное название | MARTIN-LöF TYPE THEORY AS A MULTI-AGENT EPISTEMIC FORMAL SYSTEM |
---|---|
Язык оригинала | русский |
Страницы (с-по) | 44-47 |
Журнал | ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ |
Том | 55 |
Номер выпуска | 4 |
Состояние | Принято в печать - 2018 |
ID: 35625386