Constructive analysis and thermodynamics formulations. Antonino Drago (1984) Archiv für mathematische Logik und Grundlagenforschung