Код ББК 87.456.1
87.456.1
Теория формализованных дедуктивных систем
Уточняющие коды
Запись в классификаторе ББК средние таблицы с кодом 87.456.1 является конечной в иерархии и не содержит уточняющих элементов.
Вышестоящие объекты
Схема иерархии в классификаторе ББК средние таблицы для кода 87.456.1
Средние таблицы
СОЦИАЛЬНЫЕ (ОБЩЕСТВЕННЫЕ) И ГУМАНИТАРНЫЕ НАУКИ
Философия
Логика
Основания математической логики
Метатеоретические проблемы
Полная расшифровка кода: Код ББК 87.456.1. Онлайн-классификатор ББК, Средние таблицы, СОЦИАЛЬНЫЕ (ОБЩЕСТВЕННЫЕ) И ГУМАНИТАРНЫЕ НАУКИ, Философия, Логика, Основания математической логики, Метатеоретические проблемы, Теория формализованных дедуктивных систем.