ТОМ 3, выпуск 3 (1964)

М.А. Тайцлин

Разрешимость некоторых элементарных теорий, 5—12 .



А.А. Виноградов

О выполнимости одного отношения в топологической группе, 13—15.



Ю.Л. Ершов

Разрешимость элементарной теории дистрибутивных структур с относительными дополнениями и теории фильтров, 17—38.



Е.А. Поляков

О некоторых свойствах алгебр рекурсивных функций, 39—57.



Л.Л. Максимова

О системе аксиом исчисления строгой импликации, 59—68.