Constructive analysis and thermodynamics formulations. Antonino Drago — 1984 Archiv für mathematische Logik und Grundlagenforschung
The process of induction as a non-classical logic's double negation: evidence from classical scientific theories. Antonino Drago — 1996 Mathware and Soft Computing