Rolando Chuaqui Patrick Suppes Free-Variable Axiomatic Foundations of Infinitesimal Analysis: A Fragment with Finitary Consistency Proof. 122-159 1995 60 J. Symb. Log. 1 db/journals/jsyml/jsyml60.html#ChuaquiS95