Переводчики: В Донченко Юрий Гастев Книга американского ученого посвящена детальному изучению основных понятий математической логики на современном этапе После детального обсуждения общеметодологичебфцскских вопросов автор последовательно описывает исчисления, содержащие импликацию, отрицание и кванторы Последняя глава знакомит с некоторыми вопросами теории модальностей Книга рассчитана на студентов, аспирантов и научных работников Перевод с английского Автор вдеъэХаскелл Б Карри. |