Индекс УДК | 519.876.5 |
Теория насыщенных моделей Текст пер. с англ.: Л. Л. Максимовой, Е. А. Палютина ; под ред. А. Д. Тайманова |
|
Место издания | Москва |
Издательство | Мир |
Дата издания оригинала | 1976 |
Объем | 190 с. |
Примечание | Парал. тит. л.: англ. |
Аннотация | В книге содержится тщательное изложение и классических, и новейших результатов теории насыщенных моделей; большой интерес представляют результаты о рангах формул и типов, о простых моделях, о насыщенных и однородных системах. |