• Класифікатори
• рек...

рекурсивно перелічені множини

Документи:

• Гупал, А. М.
  Неповнота арифметики з погляду теорії Діофантових множин [Текст] / А. М. Гупал, О. А. Вагіс // Кібернетика та системний аналіз. — 2023. — Т. 59, № 5, вер.-жов. — С. 16-21.
• Гупал, А. М.
  Теорема про неповноту для обчислюваних задач [Текст] / А. М. Гупал, О. А. Вагіс // Кібернетика та системний аналіз. — 2024. — Т. 60, № 5, вер.-жовт. — С. 16-19.