1 |
Основания интуиционистской математики с точки зрения теории рекурсивных функций / С. Клини, Р. Весли ; перевод с английского Ф.А. Кабакова и Б.А. Кушнера
Москва : Изд-во "Наука", Грав. ред. физико-математической лит-ры , 1978
|
2 |
Математическая логика и автоматическое доказательство теорем / Ч. Чень, Р. Ли ; перевод с английского Г.В. Давыдова, Г.Е. Минца и А.В. Сочилиной ; под редакцией С.Ю. Маслова
Москва : "Наука," Глав. ред. физико-математической лит-ры , 1983
|
3 |
Элементы математической логики / П.С. Новиков
Изд. 2-е, испр. - Москва : Наука, Грав. ред. физико-математической лит-ры , 1973
|
4 |
Проблемы разрешимости и конструктивные модели / Ю.Л. Ершов
Москва : "Наука," Глав. ред. физико-математической лит-ры , 1980
|