TY  - BOOK
AU  - Барвайс, Дж.
TI  - Справочная книга по математической логике. В 4-х частях. Ч.1: Теория моделей
PY  - 1982///
CY  - Москва
PB  - Наука
KW  - მათემატიკა
KW  - მათემატიკური ლოგიკა
KW  - ცნობარი
N1  - Библиогр. с. 382-387
ER  -