Язык оригинала | русский |
---|---|
Страницы (с-по) | 44-47 |
Число страниц | 4 |
Журнал | ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ |
Том | 55 |
Номер выпуска | 4 |
Состояние | Принято в печать - 2018 |
Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система
Результат исследований: Научные публикации в периодических изданиях › комментарий, выступление