517.5 К29 2 Катленд, Найджел     Вычислимость. Введение в теорию рекурсивных функций [Текст] / пер. с англ. А. А. Мучника ; под ред. С. Ю. Маслова. — М. : Мир, 1983. — 256 с.

Наявність
Установа	Кількість	Документ на сайті установи
Науково-технічна бібліотека Львівського національного університету «Львівська політехніка»	10	Перейти на сайт