- Author: Смальян Р. (Смаллиан Р.)
- Language: Русский
- Year: 1981
- Author: Расева Е. Сикорский Р. (RasiowaSikorski)
- Language: Русский
- Year: 1972
- Author: Робинсон А.
- Language: Русский
- Year: 1967
- Author: Новиков П.С.
- Language: Русский
- Year: 1977
- Author: Новиков П.С.
- Language: Русский
- Year: 1973
Теория нумераций
djvu
- Author: Ершов Ю.Л.
- Language: Русский
- Year: 1977
![book Математическая теория логического вывода [сборник переводов статей]](/covers/files_170/4000/2975c4bb122051b73e21ac1e7844c146.jpg)
- Author: Идельсон А.В. Минц Г.Е. (ред.)
- Language: Русский
- Year: 1967
- Author: Гудстейн Р.Л.
- Language: Русский
- Year: 1970
- Author: Гудстейн Р.Л.
- Language: Русский
- Year: 1970
- Author: Драгалин А.Г.
- Language: Русский
- Year: 1979