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

Главная

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

Описание

Базы данных

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

Вид поиска

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

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

Препринты

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

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

Пресса об ИЯФ

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

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

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

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>R=27.03.19$<.>)

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

   В12
   Г 93

    Гудстейн, Р. Л.
    Математическая логика / Р. Л. Гудстейн ; перевод с английского В. С. Чернявского под редакцией и с предисловием С. А. Яновской. - Москва : Издательство иностранной литературы, 1961. - 161, [1] с. ; 21 см. - (Библиотека сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - Leicester, 1957. -

27.03.19

ББК В12

Доп.точки доступа:
Чернявский, В. С. \пер.\; Яновская, С. А. \ред. пер.\; Яновская, С. А. \авт. предисл.\; Goodstein, R. L.
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   В12
   К 17

    Калужнин, Лев Аркадьевич.
    Что такое математическая логика? / Л. А. Калужнин. - Москва : Наука, 1964. - 149, [2] с. : ил. ; 20 см. - 42 000 экз.. -

27.03.19

ББК В12

Экземпляры всего: 1
кх (1)
Свободны: кх (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)
Найти похожие

   В12
   М 50

    Мендельсон, Эллиот.
    Введение в математическую логику / перевод с английского Ф. А. Кабакова под редакцией С. И. Адяна. - Москва : Наука, 1971. - 320 с. ; 22 см. - Пер. изд. : Introduction to Mathematical Logic / Elliot Mendelson. - 30 000 экз.. -

27.03.19

ББК В12

Перейти к внешнему ресурсу: Оглавление
Доп.точки доступа:
Кабаков, Ф.А. \пер.\; Адаян, С. И. \ред. пер.\; Mendelson, Elliot
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

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

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

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