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