Language, Proof and Logic - Textbook Only

By applying their award-winning pedagogical methods, Barwise and Etchemendy have written and devised a comprehensive textbook and software package covering the first-order language in a method appropriate for first and second courses in logic. Written with the average student in mind, this combined resource is straightforward in approach, full of easy-to-follow explanations, exercises, and examples. Whether in the classroom or from a distance, the student or instructor of philosophy, mathematics, computer science or linguistics will welcome this innovative and flexible treatment.