Language, Proof and Logic, 2nd Edition

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

ISBN 10: 1575866323 / ISBN 13: 9781575866321

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

The book is complete and readable, with all pages and cover intact. Dust jacket, shrink wrap, or boxed set case may be missing. Pages may have light notes, highlighting, or minor water exposure, but nothing that affects readability. May be an ex-library copy and could include library markings or stickers. Bestandsnummer des Verkäufers BSM.M8QO

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.

Bibliografische Details

Titel: Language, Proof and Logic, 2nd Edition
Verlag: Center for the Study of Language and Inf
Erscheinungsdatum: 2011
Einband: Softcover
Zustand: acceptable
Auflage: 2. Auflage