Formal Logic
Its Scope and Limits
$107.62
- Hardcover
192 pages
- Release Date
14 March 2006
Summary
The first beginning logic text to employ the tree method–a complete formal system of first-order logic that is remarkably easy to understand and use–this text allows students to take control of the nuts and bolts of formal logic quickly, and to move on to more complex and abstract problems.
The tree method is elaborated in manageable steps over five chapters, in each of which its adequacy is reviewed; soundness and completeness proofs are extended at each step, and the decidability p…
Book Details
| ISBN-13: | 9780872208131 |
|---|---|
| ISBN-10: | 0872208133 |
| Author: | Richard Jeffrey, John P. Burgess |
| Publisher: | Hackett Publishing Co, Inc |
| Imprint: | Hackett Publishing Co, Inc |
| Format: | Hardcover |
| Number of Pages: | 192 |
| Edition: | 4th |
| Release Date: | 14 March 2006 |
| Weight: | 426g |
| Dimensions: | 153mm x 229mm |
You Can Find This Book In
Richard Jeffrey
Richard Jeffrey (1926-2002) was Professor of Philosophy, Princeton University.
John P. Burgess is Professor of Philosophy, Princeton University.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.