Теория логического вывода : Сборник статей / АН СССР. Ин-т философии ; Ред. П.В.Тванец. - М. : "Наука", 1973. - 272 с. Библиогр. в конце статей. Subjects--Index Terms: კრებული ლოგიკური დასკვნა Universal Decimal Class. No.: 165