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