- Language, Proof and Logic
- The Language of First-Order Logic: Including the Windows Program Tarski's World 4.0 for use with IBM-compatible computers (Center for the Study of Language and Information - Lecture Notes)
- Tarski's World: Version 4.0 for MS Windows (Center for the Study of Language and Information - Lecture Notes)
- Turing's World 3.0: An Introduction to Computability Theory (Center for the Study of Language and Information - Lecture Notes)
- Hyperproof: For Macintosh (Center for the Study of Language and Information - Lecture Notes)
- Jon Barwise
- Ronald M. Pike
- Judith C. Foster
- David J.C. MacKay
- Zvi Szafran
- Helen Kirk
- John H. Mansfield
- Jean Carruthers
- Peter Berck
- John Bray
- Bob Schmidt
- Gordon-Holiday
- Judy W. Eby
- Loren E. Babcock
- Michel Marc Bouchard
- Carol L. Decker
- Alastair Carruthers
- Gloria Helfand
- Dennis A. Rohatyn
- Dave Barker-Plummer