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