Barwise, J., Barker-Plummer, D., Allwein, G., & Liu, A. (2003). Language, proof, and logic. CSLI Publications.
Παραπομπή σε μορφή Chicago (17η εκδ.)Barwise, Jon, Dave Barker-Plummer, Gerard Allwein, και Albert Liu. Language, Proof, and Logic. Stanford, Calif: CSLI Publications, 2003.
Παραπομπή σε μορφή MLA (8th εκδ.)Barwise, Jon, et al. Language, Proof, and Logic. CSLI Publications, 2003.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.