Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

510.6
К49Клини, С. К.
    Основания интуиционистской математики с точки зрения теории рекурсивных функций [Текст] : Пер. с англ. / С.К. Клини, Р. Весли. — М. : Наука, 1978. — 271с.

- Ключові слова:

рекурсивні алгоритми, рекурсивные алгоритмы ; обчислювальна математика, вычислительная математика, calculus mathematics ; математика, mathematics, mathematique, matematyka,Mathematik

- Теми документа

  • УДК // Математична логіка



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Харківського національного університету радіоелектроніки 26 Перейти на сайт