Заславский, Игорь Дмитриевич Симметрическая конструктивная логика / Игорь Заславский ; АН АрмССР. - Ереван : Издво АН АрмССР, 1978. - 281 с. 27см. Subjects--Index Terms: მათემატიკური ლოგიკა კონსტრუქციული მათემატიკა Universal Decimal Class. No.: 510.22