Shipping costs for Symbolic logic and its applications