Language, Proof and Logic. This item is unavailable.Language, Proof and Logic

This complete text and software package provides a self-contained introduction to the basic concepts of logic: language, truth, argument, consequence, proof and counterexample. Assuming no prior study of logic, Barwide and Etchemendy provide a clear and comprehensive outline of the field - a text appropriate for introductory or secondary courses in logic that incorporates more than enough material to be of use to philosophers, computer scientists, and mathematicians as well. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

The late Jon Barwise served on the faculties of Yale University, the University of Wisconsin, Stanford University, and Indiana University. John Etchemendy has served on the faculty of Princeton University and is currently provost and professor of philosophy at Stanford University. Both are internationally known for their contributions to mathematical and philosophical logic, and both have served as director of the Center for the Study of Language and Information.