Теория алгорифмов и математическая логика
Гимон, В. В., Драгалин, А. Г., Канович, М. И., Кучера, А., Матиясевич, Ю., Робинсон, Дж., Минц, Г. Е., Нагорный, Н. М., Петри, Н. В., Плиско, В. Е.
Теория алгорифмов и математическая логика, [Текст], [сборник], Академия наук СССР, Вычислительный центр ; под ред. Б. А. Кушнера, Н. М. Нагорного
Москва :
Вычислительный центр АН СССР ,
1974 .-
216 с. .-
[1] л. ил.
Посвящается А. А. Маркову к его семидесятилетию .-
