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