УДК 510.635

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


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