Автор:Карри Х. Год: 1969 Издание:Мир Страниц: 568 ISBN: [не указан] Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе. После детального обсуждения общеметодологических вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы. Последняя глава знакомит с некоторыми вопросами теории модальностей. Книга рассчитана на студентов, аспирантов и научных работников.