Language, Proof and Logic 2e +CD: 2nd Edition

Language, Proof and Logic 2e +CD: 2nd Edition book cover

Language, Proof and Logic 2e +CD: 2nd Edition

Author(s): David Barker–plummer (Author), Jon Barwise (Author), John Etchemendy (Author)

  • Publisher: Center for the Study of Language and Information
  • Publication Date: 7 Oct. 2011
  • Edition: 2nd
  • Language: English
  • Print length: 650 pages
  • ISBN-10: 9781575866321
  • ISBN-13: 9781575866321

Book Description

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.

Editorial Reviews

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.

View on Amazon

电子书代发PDF格式价格30我要求助
未经允许不得转载:Wow! eBook » Language, Proof and Logic 2e +CD: 2nd Edition