Математическая логика и алгоритмические проблемы / Отв. ред. Ю. Л. Ершов ; ред-ры. изд-ва. : Т. Н. Рожковская, Т. Д. Семченко. - Новосибирск : Наука, 1989. - 189 с. - Труды Института математики Т. 12 ISSN 0208-0060 . Библиогр. в конце ст. ISBN: 5020286230 Subjects--Index Terms: მათემატიკა ლოგიკა ალგორითმული პრობლემები კრებული Universal Decimal Class. No.: [510.6510.51](082)