Найдено документов - 1 | Профессиональный поиск | Версия для печати |
Сортировать по:
1. Книга
Полочный шифр: 22.127 - К 493
Клини, С.
Основания интуиционистской математики с точки зрения теории рекурсивных функций / С. Клини, Р. Весли ; перевод с английского Ф. А. Кабакова, Б. А. Кушнера. — Москва : Наука, 1978. — 272 с. — (Математическая логика и основания математики). — Библиогр.: с. 254. - Указ. имен: с. 267. - Предм. указ.: с. 268. - Указ. обозн.: с. 270.
Основания интуиционистской математики с точки зрения теории рекурсивных функций / С. Клини, Р. Весли ; перевод с английского Ф. А. Кабакова, Б. А. Кушнера. — Москва : Наука, 1978. — 272 с. — (Математическая логика и основания математики). — Библиогр.: с. 254. - Указ. имен: с. 267. - Предм. указ.: с. 268. - Указ. обозн.: с. 270.
Экземпляры: Всего: 1, из них: аб.-1 в наличии 1
Дисциплина из КО: Математическая логика и теория алгоритмов
Подробнее
Авторы: Клини С., Весли Р.
Отраслевые рубрики: математика, математическая логика
Ключевые слова: интуиционистская математика, интуиционистский анализ, интуиционистский континуум, исчисление предикатов, реализуемость, рекурсивные функции
Индексы ББК: 22.127
Представления: Формат MARC21