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