Справочная книга по математической логике В 4-х частях. Теория моделей.

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