TY - BOOK AU - Кейслер, Г.Дж. AU - Чэн, Ч. AU - Ершов, Ю.Л. AU - Гончаров, С. С. AU - Тайманов, А.Д. TI - Теория моделей PY - 1977/// CY - Москва PB - Мир KW - Математическая логика KW - psbo N2 - Указ. обозначений и предм.: с. 605-612; Список лит.: с. 592-604 ER -