1. Barwise, Jon, and John Etchemendy. Hyperproof, CSLI Lecture Notes. Chicago: U of Chicago P., (to appear 1993).
2. Barwise, Jon, and John Etchemendy. Tarski's World 3.0. CSLI Lecture Notes. Chicago: U of Chicago P, 1991.
3. Barwise, Jon, and John Etchemendy. “Visual Information and Valid Reasoning.” Visualization in Mathematics. Ed. Walter Zimmerman and Steve Cunningham. Washington: Mathematical Assn. of America, 1991. 9–24. Rpt. in Philosophy and the Computer. Ed. Leslie Burkholder. San Francisco: Westview, 1992. 160–82.
4. Barwise, Jon, and John Perry. Situations and Attitudes. Cambridge, MA: Bradford-MIT, 1983.
5. Johnson, Steven, Gerard Allwein, and Jon Barwise. “Toward the Rigorous Use of Diagrams in Hardware Synthesis and Verification.” In progress.