УДК 510.635.3
Расширенное исчисление предикатов
вверх
домой
код УДК
описание
примечания
510.635.32
Теория типов
Сгенерировано
Флэнг-системой
из метаописания УДК в формате Dublin Core
© 2004
TeaCode.com