Model Theory for Infinitary Logic, North-Holland, 1971
Model Theory (with C. C. Chang), North-Holland, 1973, 1977,
1990, Dover, 2012.
Elementary Calculus: An Infinitesimal Approach,
Prindle, Weber and Schmidt, 1976, 1986, Dover, 2012
An Infinitsimal Approach to Stochastic Analysis, American
Mathematical Logic and Computability (with Joel Robbin),
Model Theory of Stochastic Processes (with Sergio Fajardo).
Lecture Notes in Logic, Association for Symbolic Logic. 2002