Подраздел "УДК 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п."
СПИСОК УДК
УДК 510.2 Основания математики
УДК 510.225 Дескриптивная теория множеств
УДК 510.227 Теория порядковых типов, ординальных и кардинальных чисел
УДК 510.252 Языки конструктивной математики
УДК 510.254 Конкретные конструктивные математические теории
УДК 510.5 Теория алгоритмов и вычислимые функции
УДК 510.532 Теории иерархий
УДК 510.54 Алгоритмическая теория множеств
УДК 510.6 Математическая логика
УДК 510.62 Логические и логико-предметные языки
УДК 510.622 Синтаксис логических языков
УДК 510.624 Семантика логических языков
УДК 510.63 Логические и логико-предметные теории. Классические (традиционные) логические системы
УДК 510.633 Логика высказываний и исчисление высказываний
УДК 510.635 Логика предикатов и исчисление предикатов
УДК 510.635.3 Расширенное исчисление предикатов
УДК 510.635.32 Теория типов
УДК 510.64 Неклассические, формальные логические системы
УДК 510.643 Модальные логики (и исчисления модальных логик)
УДК 510.644 Многозначные логики (и исчисления многозначных логик)
УДК 510.645.3 Силлогистика
УДК 510.646 Индуктивная логика
УДК 510.647 Вероятностная логика
УДК 510.65 Логико-математические теории
УДК 510.652 Формальная арифметика. Формальная теория чисел
УДК 510.66 Поиск вывода и проблемы разрешения в логических и логико- математических исчислениях
УДК 510.665 Проблемы разрешения
УДК 510.67 Теория моделей
УДК 510.8 Общие математические системы