.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Language, Proof, and Logic: 2ND Edition
David Barker-Plummer
€ 89.80
FREE Delivery in Ireland
Description for Language, Proof, and Logic: 2ND Edition
Paperback. A textbook/software package that 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. It also includes applications for mobile devices, exercises, and a dedicated website. Num Pages: 650 pages, Illustrations. BIC Classification: CFA; HPL. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 240 x 203 x 44. Weight in Grams: 1298.
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.
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.
Product Details
Publisher
Center for the Study of Language and Inf
Number of pages
650
Format
Paperback
Publication date
2011
Condition
New
Number of Pages
650
Place of Publication
Stanford, United States
ISBN
9781575866321
SKU
V9781575866321
Shipping Time
Usually ships in 7 to 11 working days
Ref
99-50
About David Barker-Plummer
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.
Reviews for Language, Proof, and Logic: 2ND Edition