TY  - BOOK
AU  - BARKER-PLUMMER, Dave
AU  - Jon Barwise
AU  - John Etchemendy
TI  - Language, proof and logic
SN  - 9781575866321
U1  - 160 BAR 22nd ed.
PY  - 2011///
CY  - California : 
PB  - CSLI Publications, 
KW  -  	      Logic
N1  - Includes index
N2  -  	
Covers first-order language in method appropriate for first and second courses in logic. CD-ROM consists of a new book, 3 programs, and an Internet-based grading service
ER  -