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