Language, Proof and Logic

Barker?plummer, David and Barwise, Jon and Etchemendy, John

ISBN 10: 1575866323 / ISBN 13: 9781575866321

Verlag: Center for the Study of Language and Information, 2011

Beschreibung

***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality.

Bestandsnummer des Verkäufers 4292655

Bibliografische Details

• Titel: Language, Proof and Logic
• Verlag: Center for the Study of Language and Information
• Erscheinungsjahr: 2011
• Sprache: Englisch
• ISBN-10: 1575866323
• ISBN-13: 9781575866321
• Einband: Paperback
• Auflage: 2. Auflage
• Zustand: Used; Very Good

Über diesen Titel

Inhaltsangabe

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.

Über die Autorin bzw. den Autor

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.