Shipping costs for Mathematical Logic, the Theory of Algorithms and the Theory of Sets (Proceedings of the Steklov Institute of Mathematics 133)