Катленд, Найджел <br/><br/>
Вычислимость. Введение в теорию рекурсивных функций / 
Найджел Катленд ; Пер. с ангю А. А. Мучника ; Под ред. С. Ю. Маслова. 
 - Москва :  Мир,  1983. 
 - 256 с. :  ил. 
<br/><br/><label>Subjects--Index Terms: </label>მათემატიკა გამოთვლითი თეორია რეკურსიული ფუნქცია 
<br/><br/><label>Universal Decimal Class. No.: </label>517.5