 | Друзья сайта |  |
|
Наша кнопка --------------
|  |
| Статистика | |
|
Онлайн всего: 1 В гостях: 1 Дома: 0 | |
|
 | |  |
Главная » 2018 » Март » 17 » Основания математической логики
Основания математической логики | 07:49 |
Основания математической логики — Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений.
Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики.
Название: Основания математической логики
Автор: Карри Х. Б.
Издательство: Мир
Год: 1969
Страниц: 528
Формат: DJVU
Размер: 10,01 МБ
Качество: Отличное
| |
Просмотров: 61 |
Добавил: pmojka
| Рейтинг: 0.0/0 |
Добавлять комментарии могут только зарегистрированные пользователи.[ Регистрация | Вход ]
|
|
|
