Language, proof, and logic /
Barker-Plummer, Dave.
Barwise, Jon.
Etchemendy, John,1952-
Barwise, Jon.Language, proof, and logic.
Stanford, Calif. : CSLI Publications,
2011.
Rev. ed. of: Language, proof, and logic / Jon Barwise & John Etchemendy.
Includes index.
In box with CD-ROM and software manual.
Logic.