Основания математической логики - Книги - Библиотека - Каталог файлов

Dominion, the January 2010 template release from RocketTheme.
6 stunning preset styles, in a mix of light and dark, each with 3 visual intensity levels.
RTL support from module structure, to the Fusion menu to the template elements.

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

Основания математической логики — Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. Название: Основания математической логики Автор: Карри Х. Б. Издательство: Мир Год: 1969 Страниц: 528 Формат: DJVU Размер: 10,01 МБ Качество: Отличное Скачать Основания математической логики Скачать с turbobit.net Скачать с www.up-4ever.com Скачать с suprafiles.org
1 2 3 4 5 Категория: Книги \| Добавил: pmojka (17.03.2018)
Просмотров: 195 \| Теги: основания, 1969, математической, логики \| Рейтинг: 0.0/0