Rodin, Andrei, Россия
-
Том 13, № 2 (2016): Современная логика: проблемы теории, истории и применения в науке - Логический анализ языка
What is a Formal System? The Idea of Geometrical Calculus from Leibniz to Voevodsky
Аннотация PDF -
Том 16, № 1-2 (2018) - Символическая логика и основания математики
Univalent Foundations and the Constructive View of Theories
Аннотация PDF (English)
ISSN: 2223-3954