Название: Справочная книга по математической логике: В 4-х частях. Ч. I. Теория моделей. Ч. II. Теория множеств. Ч. III. Теория рекурсии. Ч. IV. Теория доказательств и конструктивная математика.
Автор: Дж. Барвайс (редактор)
Издательство: М.: Наука. Главная редакции физико-математической литературы
Год: 1982, 1983
Формат: djvu
Страниц: 1516
Размер: 45,37 Мб
Язык: Русский

Издание состоит из четырех частей, каждая из которых начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы, а также приложения математической логики. Каждая глава написана для тех, кто не является специалистом в данной области. В оригинале издание составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.