Институт ядерной физики СО РАН

Главная

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

Описание

Базы данных

Электронный каталог книг и продолжающихся изданий- результаты поиска

Вид поиска

Авторефераты диссертаций и диссертации

Отечественные журналы

Препринты

Электронный каталог книг и продолжающихся изданий

База ученого секретаря

Пресса об ИЯФ

Труды сотрудников ИЯФ (пополняемая)

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

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

Поисковый запрос: (<.>A=Карри, Хаскелл Б.$<.>)

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

   В12
   К 26

    Карри, Хаскелл Б..
    Основания математической логики / Хаскелл Б. Карри ; перевод с английского В. В. Донченко под редакцией Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. : ил. ; 22 см. - Пер. изд. : Foundations of Mathematical Logic / Haskell B. Curry. - New York [et al.], 1963. -

27.03.19

ББК В12

Аннотация: Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.

Доп.точки доступа:
Донченко, В. В. \пер.\; Гастев, Ю. А. \ред. пер.\; Curry, Haskell B.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

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

Статистика обращений

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