Описание
Перевод с английского.
М. Мир 1969г. 568 с. Палiтурка / переплет: Твердый, увеличеный формат.
Книга американского ученого посвящена детальному изучению основных понятий математической логики. Она содержит общую теорию формальных систем и исчислений. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит читателя с некоторыми вопросами теории модальностей. Последовательный конструктивный подход характерен для всех доказательств и определений. Книга рассчитана на студентов, аспирантов и научных работников, специализирующихся в области математической логики, но она, безусловно, доступна всем, кто интересуется фундаментальными проблемами этого раздела математики. Вес книги 775 гр.
Стан очень хорошее
