ТОМ 2, выпуск 1 (1963)

И.А. Лавров

Эффективная неотделимость множества тождественно истинных и множества конечно опровержимых формул некоторых элементарных теорий, 5—18.



Н.В. Белякин

Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием, 19—23.



Б.А. Трахтенброт

О частотном вычислении функций, 25—32.



Г.П. Зыкин

Замечание об одной теореме Хао Вана, 33—35.



Ю.Ш. Гуревич, А.И. Кокорин

Универсальная эквивалентность упорядоченных абелевых групп, 37—39.