Language, Proof, and Logic Second Edition

Barker-Plummer, David

ISBN 10: 1575866323 / ISBN 13: 9781575866321

Verlag: University of Chicago Press, 2011

Beschreibung

No Supplement Edition. Ships SAME or NEXT business day. We Ship to APO/FPO addr. Choose EXPEDITED shipping and receive in 2-5 business days within the United States. See our member profile for customer support contact info. We have an easy return policy. Bestandsnummer des Verkäufers 54566248

Bibliografische Details

Titel: Language, Proof, and Logic Second Edition

Verlag: University of Chicago Press

Erscheinungsdatum: 2011

Einband: Softcover

Zustand: Very Good

Auflage: 2. Auflage

Ü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.

Biografía del 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.