*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