- 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
- The Liar: An Essay on Truth and Circularity
- 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)








