Главная Упрощенный режим Описание
Авторизация
Фамилия
Пароль
 

Базы данных


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

Вид поиска
Авторефераты диссертаций и диссертации
Отечественные журналы
Препринты
Электронный каталог книг и продолжающихся изданий
База ученого секретаря
Пресса об ИЯФ
Труды сотрудников ИЯФ (пополняемая)
Область поиска
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>R=27.03.19$<.>)
Общее количество найденных документов : 4
Показаны документы с 1 по 4
1.

Вид документа : Однотомное издание
Шифр издания : В12/Г 93
Автор(ы) : Гудстейн Р. Л.
Заглавие : Математическая логика
Выходные данные : Москва: Издательство иностранной литературы, 1961
Колич.характеристики :161, [1] с. ; 21 см.
Серия: Библиотека сборника "Математика"
Перевод издания: Goodstein R. L. Mathematical logic. -Leicester, 1957 :
ГРНТИ : 27.03.19
ББК : В12
Экземпляры : всего 1: кх(1)
Свободны : кх(1)
Найти похожие
2.

Вид документа : Однотомное издание
Шифр издания : В12/К 17
Автор(ы) : Калужнин, Лев Аркадьевич
Заглавие : Что такое математическая логика?
Выходные данные : Москва: Наука, 1964
Колич.характеристики :149, [2] с.: ил.; 20 см. :
ГРНТИ : 27.03.19
ББК : В12
Экземпляры :кх(1)
Свободны : кх(1)
Найти похожие
3.

Вид документа : Однотомное издание
Шифр издания : В12/К 26
Автор(ы) : Карри, Хаскелл Б.
Заглавие : Основания математической логики
Выходные данные : Москва: Мир, 1969
Колич.характеристики :567, [1] с.: ил.; 22 см.
Перевод издания: Curry Haskell B. Foundations of Mathematical Logic. -New York [et al.], 1963 :
ГРНТИ : 27.03.19
ББК : В12
Аннотация: Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Экземпляры :кх(1)
Свободны : кх(1)
Найти похожие
4.

Вид документа : Однотомное издание
Шифр издания : В12/М 50
Автор(ы) : Мендельсон, Эллиот
Заглавие : Введение в математическую логику
Выходные данные : Москва: Наука, 1971
Колич.характеристики :320 с. ; 22 см.
Перевод издания: Mendelson Elliot Introduction to Mathematical Logic :
ГРНТИ : 27.03.19
ББК : В12
Экземпляры :кх(1)
Свободны : кх(1)
Перейти к внешнему ресурсу: Оглавление
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)