МАТЕМАТИКА

Об одном способе доказательства неразрешимости алгоритмических проблем

Ю. Т. Медведев

Математический институт им. В. А. Стеклова АН СССР

УДК: 51.01:518.5

Статья представлена к публикации: А. Н. Колмогоров
Поступило: 20.08.1968

Реферативные базы данных:

• 
•