Теория моделей и ее применения : 1988 / Под ред. Ю. Л. Ершов ;Тр.Ин-т математики ; АН СССР. Сиб. отд. - Новосибирск : Наука, - v. ISSN: 0208-0060 Subjects--Index Terms: მათემატიკური ლოგიკა კრებულები Universal Decimal Class. No.: 51(09)