УДК 510.63

Логические и логико-предметные теории. Классические (традиционные) логические системы


  
код УДК описание примечания
510.633 Логика высказываний и исчисление высказываний

см. 512.563 Булевы кольца и алгебры

510.635 Логика предикатов и исчисление предикатов