Language, Proof and Logic, 2nd Edition

Etchemendy, John,Barwise, Jon,Barker-Plummer, David

ISBN 10: 1575866323 / ISBN 13: 9781575866321

Published by Center for the Study of Language, 2011

About this Item

Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority!

Seller Inventory # S_450012169

Bibliographic Details

• Title: Language, Proof and Logic, 2nd Edition
• Publisher: Center for the Study of Language
• Publication Date: 2011
• Language: English
• ISBN 10: 1575866323
• ISBN 13: 9781575866321
• Binding: Paperback
• Edition: 2nd Edition
• Condition: Very Good

About this title

Synopsis

This textbook/software package covers first-order language in a method appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The accompanying online grading service instantly grades solutions to hundreds of computer exercises. The second edition of "Language, Proof and Logic" represents a major expansion and revision of the original package and includes applications for mobile devices, additional exercises, a dedicated website, and increased software compatibility and support.

About the Author

Dave Barker-Plummer is a senior research scientist at Stanford University's Center for the Study of Language and Information. Jon Barwise (1942-2000) served on the faculties of Yale University, the University of Wisconsin, Stanford University, and Indiana University. John Etchemendy is currently provost and professor of philosophy and symbolic systems at Stanford University.