УДК 510.66
Поиск вывода и проблемы разрешения в логических и логико- математических исчислениях
код УДК
описание
примечания
510.662
Поиск вывода
510.665
Проблемы разрешения