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