Language, proof, and logic.
- 2nd ed. / Dave Barker-Plummer, Jon Barwise, and John Etchemendy in collaboration with Albert Liu, Michael Murray, and Emma Pease.
- Stanford, Calif. : CSLI Publications, 2011.
- p. cm.
Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy. Includes index.