• 24 всего цитирований публикаций, внесённых в Pure
  • 2 h-индекс по публикациям в Pure
19962018
Если Вы внесли какие-либо изменения в Pure, они скоро будут показаны здесь.

Отпечаток Узнайте самые подробные результаты анализа активности Андрей Вячеславович Родин. Указанные в этом разделе метке относятся к действиям этого человека. Вместе они формируют уникальную картину его активности.

Categorical Математика
History of Mathematics Математика
Category Theory Математика
Invariant Математика
Mathematics Гуманитарные науки и искусство
Mathematics Education Математика
Category Structure Гуманитарные науки и искусство
Axiomatic System Гуманитарные науки и искусство

Сотрудничество Подробную информацию о сотрудничестве по странам можно получить нажатием на точки.

Результаты исследований 1996 2018

Models of HoTT and the Constructive View of Theories

Родин, А. В., 2018, (Принято в печать) Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Centrone, S. (ред.). Springer

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийглава/разделнаучнаярецензирование

1 цитирование (Scopus)

On Constructive Axiomatic Method

Родин, А. В., 2018, В : Logique et Analyse. 61, 242, стр. 201-231 30 стр.

Результат исследований: Научные публикации в периодических изданияхстатьянаучнаярецензирование

Axiomatic System
Axiomatics
David Hilbert
Epistemological
Mathematics

Rules versus Axioms: a Constructive View of Theories

Родин, А. В., 2018, Handbook of 6th World Congress and School on Universal Logic (June 16-26, 2018, Vichy, France), Université Clermont Auvergne, 2018. Beziau, J-Y. (ред.). Clermont Auvergne, стр. 541-542 1 стр.

Результат исследований: Публикации в книгах, отчётах, сборниках, трудах конференцийстатья в сборникенаучнаярецензирование

Two “Styles” of axiomatization: Rules versus Axioms. A Modern Perspective

Родин, А. В., 2018, В : Bulletin of Symbolic Logic. 24, 2, стр. 263-264 2 стр.

Результат исследований: Научные публикации в периодических изданияхстатьянаучнаярецензирование

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

Родин, А. В., 2018, (Принято в печать) В : ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ. 55, 4, стр. 44-47 4 стр.

Результат исследований: Научные публикации в периодических изданияхкомментарий, выступлениенаучнаярецензирование