Language, Proof and Logic

Albert Liu, Jon Barwise, Dave Barker-Plummer, John Etchemendy, Gerard Allwein — 2002

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.