УДК 510.635
Логика предикатов и исчисление предикатов
код УДК
описание
примечания
510.635.3
Расширенное исчисление предикатов