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 Society
Memoirs, 1984
Mathematical Logic and Computability (with Joel Robbin),
McGraw-Hill, 1996
Model Theory of Stochastic Processes (with Sergio Fajardo).
Lecture Notes in Logic, Association for Symbolic Logic. 2002