Language, Proof, and Logic
Second Edition
2nd Edition
Published on 15. October 2011
Book
Paperback/Softback
650 pages
978-1-57586-632-1 (ISBN)
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.
More details
Edition
2nd Revised edition
Language
English
Place of publication
Stanford
United States
Target group
College/higher education
Professional and scholarly
Edition type
Revised edition
Dimensions
Height: 233 mm
Width: 197 mm
Thickness: 38 mm
Weight
1107 gr
ISBN-13
978-1-57586-632-1 (9781575866321)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
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.