Barwise, J., Etchemendy, J., Allwein, G., Barker-Plummer, D., & Liu, A. (1999). Language proof and logic. United States: Center for the Study of Language and Information.

Barwise, Jon,, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, and Albert Liu. Language Proof and Logic. United States: Center for the Study of Language and Information, 1999.

Barwise, Jon,, et al. Language Proof and Logic. United States: Center for the Study of Language and Information, 1999.