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