Free-variable axiomatic foundations of infinitesimal analysis: afragment withfinitary consistency proof (1995)

by ROLANDO CHUAQUI, PATRICK SUPPES
Venue:The Journal of Symbolic Logic