УДК 510.63
Логические и логико-предметные теории. Классические (традиционные) логические системы
код УДК
описание
примечания
510.633
Логика высказываний и исчисление высказываний
см.
512.563
Булевы кольца и алгебры
510.635
Логика предикатов и исчисление предикатов