Рубрики ГРНТИ
1.
27.03.17
Алгоритмы и вычислимые функции
2.
27.03.19
Математическая логика (
86
)
3.
27.03.66
Математические структуры. Теория моделей (
10
)
4.
27.03.02
Общие проблемы математической логики и основания математики (
75
)
5.
27.03.15
Основания математики
6.
27.03.45
Теория вычислимости (
39
)
7.
27.03.55
Теория доказательств (
3
)
8.
27.03.33
Теория множеств (
28
)
9.
27.03.40
Формализация традиционных теорий (арифметики, анализа и др.) (
7
)