Библиотека БГПУ

Главная

Упрощенный режим

Описание

Базы данных

Книги- результаты поиска

Вид поиска

Книги

Периодические издания

Выпускные квалификационные работы

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: <.>A=Клини, С.$<.>

Общее количество найденных документов : 1

22.1
К 49

Клини, С.
Основания интуиционистской математики с точки зрения теории рекурсивных функций [Текст] / С. Клини, Р. Весли ; пер. c англ. Ф. А. Кабакова ; Б. А. Кушнера. - М. : Наука, 1978. - 271, [1] с. - (Математическая логика и основания математики). - 1.50 р.

ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
интуиционистский анализ -- формальная система -- правила образования -- понятия реализуемости -- определение реализуемости -- специальная реализуемость -- интуиционистский континуум -- структура континуума

Доп.точки доступа:
Весли, Р.; Кабакова, Ф.А. \пер. c англ.\; Кушнера, Б.А. \.\
Экземпляры всего: 2
Ч.з.1 (2)
Свободны: Ч.з.1 (2)
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)