Barwise, J., Etchemendy, J., Allwein, G., Barker-Plummer, D., & Liu, A. (2000). Language proof and logic. Stanford, CA: CSLI Publications.

Barwise, Jon, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, and Albert Liu. Language Proof and Logic. Stanford, CA: CSLI Publications, 2000.

Barwise, Jon, et al. Language Proof and Logic. Stanford, CA: CSLI Publications, 2000.