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 - Truesdell, C. (Clifford), 1919-2000 (Springer Verlag, 1977)