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

Базы данных


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

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

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