УДК 510.64

Неклассические, формальные логические системы

вверх  домой
код УДК описание примечания
510.643 Модальные логики (и исчисления модальных логик)
510.644 Многозначные логики (и исчисления многозначных логик)

см. 519.716.32 Конечнозначные логики в функциональных системах

510.645 Формализации традиционных логик
510.646 Индуктивная логика
510.647 Вероятностная логика

см. 519.21 Теория вероятностей и случайные процессы

510.649 Другие (формальные) логические системы
 
Сгенерировано Флэнг-системой из метаописания УДК в формате Dublin Core
© 2004 TeaCode.com