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