Целью службы является создание условий для увеличения количества и повышения качества публикаций научно-педагогических работников СФУ.
Тип публикации: диссертация
Год издания: 2015
Ключевые слова: физико-математические науки, математика, Основания математики. Математическая логика, Логические исчисления. Исчисление высказываний, исчисление предикатов