TY - BOOK AU - Заславский, Игорь Дмитриевич ED - АН АрмССР. TI - Симметрическая конструктивная логика PY - 1978/// CY - Ереван PB - Издво АН АрмССР KW - მათემატიკური ლოგიკა KW - კონსტრუქციული მათემატიკა ER -