- 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)
- The Concept of Logical Consequence
- Turing's World 3.0: An Introduction to Computability Theory (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)
- Logical Reasoning with Diagrams and Sentences: Using Hyperproof
- Jon Barwise
- Ronald M. Pike
- 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
- Judith C. Foster
- Dave Barker-Plummer







