О сильной и слабой сводимости алгоритмических проблем А.А. Мучник — 1963 Sibirskij matematiceskij zurnal