Исследования по конструктивной математике и математической логике. 1974 : Сборник работ / Под ред. Ю. В. Матиясевича и А. О. Слисенко ; АН СССР. Матем. ин-та им. В. А. Стеклова. - Ленинград : Наука, - v. : ил. Subjects--Index Terms: პერიოდიკა მათემატიკური ლოგიკა კრებულები Universal Decimal Class. No.: