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

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

22.12
К49Клини, С.
    Основания интуиционистской математики с точки зрения теории рекурсивных функций [Текст] / пер. с англ. Ф. А. Кабанова, Б. А. Кушнера. — М. : Наука, 1978. — 272 с.

- Анотація:

В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных математических результатов.

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

  • ББК // 22.12 Основи математики. Математична логіка
  • УДК // Алгебра
  • Алфавітно-предметний покажчик до ББК // Математика. Основи 22.12



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека Тернопільського національного педагогічного університету імені Володимира Гнатюка 2 Перейти на сайт