Поиск :
Личный кабинет :
Электронный каталог: Клини, Стефен - Основания интуиционистской математики с точки зрения теории рекурсивных функций
Клини, Стефен - Основания интуиционистской математики с точки зрения теории рекурсивных функций
Доступно
1 из 1
1 из 1
Книга
Автор: Клини, Стефен
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Серия: Математическая логика и основания математики
Издательство: Наука, 1978 г.
ISBN отсутствует
Автор: Клини, Стефен
Основания интуиционистской математики с точки зрения теории рекурсивных функций
Серия: Математическая логика и основания математики
Издательство: Наука, 1978 г.
ISBN отсутствует
Заказать 
На полку
Книга
С14 К-493
Клини, Стефен.
Основания интуиционистской математики с точки зрения теории рекурсивных функций / Стефен Клини, Ричард Весли ; Пер. с англ.: Ф.А.Кабаков, Б.А.Кушнер. – М. : Наука, 1978. – 271 с. : ил. – (Математическая логика и основания математики). – Библиогр.: с.254-266.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
С14 К-493
Клини, Стефен.
Основания интуиционистской математики с точки зрения теории рекурсивных функций / Стефен Клини, Ричард Весли ; Пер. с англ.: Ф.А.Кабаков, Б.А.Кушнер. – М. : Наука, 1978. – 271 с. : ил. – (Математическая логика и основания математики). – Библиогр.: с.254-266.
С14
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |