МАТЕМАТИКА

Некоторые синтаксические теоремы об исчислении финитных задач Ю. Т. Медведева

Л. А. Левин

Московский государственный университет имени М. В. Ломоносова

УДК: 517.12

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

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

• 
•