Справочная книга по математической логике : В 4 ч. Ч. 1, Теория моделей / Под редакцией Дж. Барвайса ; Перевод с английского С.С. Гончарова и др., Под редакцией Ю.Л. Ершова, Е.А. Палютина, А.Д. Тайманова.
საგამომცემლო ცნობები
Москва : Наука, 1982 (Ленинград : Типография им. Евг. Соколовой)
წიგნში ასევე: Спектр и структура моделей полных теорий / Е.А. Палютин.
საძიებელი: გვ. 388-391.
ბიბლიოგრაფია
ბიბლიოგრაფია თავების ბოლოს.
შინაარსი
Введение в лошику первого порядка / Дж. Барвайс. Основы теории моделей / Х.Дж. Кейслер. Теория ультрапроизведений для алгебраистов / П. Эклоф. Модельная полнота / А. Макинтайр [и др.].