Каталог печатных изданий библиотеки НИУ ВШЭ

eng|rus

Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.
По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

Личный кабинет :

Электронный каталог: Родин, А. В. - Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

Родин, А. В. - Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

Статья
Автор: Родин, А. В.
Эпистемология и философия науки: Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система
б.г.
ISBN отсутствует

На полку

Статья

Родин, А. В.
Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система / А. В. Родин // Эпистемология и философия науки. – 2018. – Т.55, N.4. – С. 44-47.

общий = Труды сотрудников НИУ ВШЭ : Родин А. В.
общий = Философия : логика. Эпистемиология. Теория познания [16]