Introduction to Logic: Second Edition
Michael Genesereth
Sold by Revaluation Books, Exeter, United Kingdom
AbeBooks Seller since January 6, 2003
New - Soft cover
Condition: New
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Add to basketSold by Revaluation Books, Exeter, United Kingdom
AbeBooks Seller since January 6, 2003
Condition: New
Quantity: 1 available
Add to basket164 pages. 9.00x7.50x0.50 inches. In Stock.
Seller Inventory # zk162705247X
This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at the college level. However, it can also be used for advanced secondary school students, and it can be used at the start of graduate school for those who have not yet seen the material. The approach to teaching logic used here emerged from more than 20 years of teaching logic to students at Stanford University and from teaching logic to tens of thousands of others via online courses on the World Wide Web. The approach differs from that taken by other books in logic in two essential ways, one having to do with content, the other with form.
Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand and leaves them with a deeper understanding of what logic is all about.
In addition to this text, there are online exercises (with automated grading), online logic tools and applications, online videos of lectures, and an online forum for discussion. They are available at logic.stanford.edu/intrologic/
Table of Contents: Introduction / Propositional Logic / Satisfiability / Propositional Proofs / Propositional Resolution / Relational Logic / Relational Logic Proofs / Resolution / Induction / Equality
"About this title" may belong to another edition of this title.
Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch
Orders usually dispatched within two working days. Please note that at this time all domestic United Kingdom orders are sent by trackable UPS courier, we choose not to offer a lower cost alternative.
| Order quantity | 7 to 14 business days | 2 to 3 business days |
|---|---|---|
| First item | US$ 13.40 | US$ 33.49 |
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.