Библиотечная система
Библиотечная система. Международный университет природы, общества и человека "Дубна"
  Главная     Поиск       Новости     Консультация     Часы работы     О нас     О сайте     Блог Мишки Б.     Напишите нам  
Авторизация
№ карты:
Фамилия:
   Помощь
Помощь
Общая схема поиска литературы

Руководство по поиску в электронном каталоге

Правила использования информационных ресурсов
Электронный каталог
Расширенный поиск
Поиск по отраслевой классификации
Поиск по словарям
NEW!Новые поступления
Электронные версии
Журналы и газеты
 Подписка 2024
 Каталог периодики
 Заказ журналов
Рекомендуемая литература
Издания университета

Библиотека Чечельницкого А.М.
Библиотека Пономарёва В.С.
Редкий фонд
Выставки
Ресурсы интернета

Besucherzahler mail order brides
счетчик посещений

Библиографическое описание

22.127
К 493
Книга

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

Отраслевые рубрики: математика, математическая логика

Ключевые слова: интуиционистская математика, интуиционистский анализ, интуиционистский континуум, исчисление предикатов, реализуемость, рекурсивные функции

Сигла храненияВсего экз.В наличииЗаказано
абонемент110


отобрать


Назад