Bibliography of Lavrov I.A.


Катленд Н.
[1983]
Вычислимость. Введение в теорию рекурсивных функций
М., Мир (Перевод книги Cutland N.J. «Computability: An Introduction to Recursive Function Theory», 1980.)
83.08.27
книга

Вернуться к поиску