Справочная книга по математической логике. В 4-х частях. Ч.1 : Теория моделей. Под ред. Дж. Барвайса. - Москва : Наука, 1982. - 392 с. : с черт. Библиогр. с. 382-387. Subjects--Index Terms: მათემატიკა მათემატიკური ლოგიკა ცნობარი Universal Decimal Class. No.: 51.06(035.5)