References

1

Jon Barwise and John Etchemendy. Hyperproof. CSLI Lecture Notes, University of Chicago Press, 1994.

2

Jon Barwise and John Etchemendy. ``Logic, Proof, and Reasoning''. In Alan Makinowski, editor, Companion to Logic, Blackwell Press, to appear.

3

Jon Barwise and John Etchemendy. ``Visual Information and Valid Reasoning''. In Gerard Allwein and Jon Barwise, editors, Logical Reasoning with Diagrams, Oxford University Press, 1996.

4

J. Oberlander, R. Cox, R. Tobin, K. Stenning, and P. Monaghan. Individual differences in proof development strategy following multimodal logic teaching. Cognitive Science Conference, UCSD, La Holla, Ca. July 1996.

5

K. Stenning, R. Cox, and J. Oberlander. Contrasting the cognitive effects of graphical and sentential logic teaching: reasoning, representation and individual differences. Language and Cognitive Processes, vol 10 (3/4), pages 333--354, 1995.