УДК 510.635.3

Расширенное исчисление предикатов


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