Основания математической логики

Автор(ы)

Карри Х.Б

Год

1969

Язык

rus

Теги

Математика

Аннотация

Основания математической логики Год выпуска : 1969 Автор : Карри Х.Б. Жанр : Монография Издательство : М., Мир Формат : DjVu Качество : Отсканированные страницы Количество страниц : 528 Описание : Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. Язык : Русский Содержание Отсутствует Примеры страниц (кликабельно) Опубликовано группой