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