The Concepts and Logic of Classical Thermodynamics as a Theory of Heat Engines: Rigorously Constructed upon the Foundation Laid by S. Carnot and F. Reech (Theoretical and Mathematical Physics)