29%OFF
Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Logic
Richard C. Jeffrey
€ 52.99
€ 37.81
FREE Delivery in Ireland
Description for Formal Logic
Hardcover. Offers a text employing the tree method, a formal system of first-order logic. This book allows students to take control of the nuts and bolts of formal logic, and to move on to complex and abstract problems. The tree method is elaborated in steps over five chapters. Editor(s): Burgess, John P. Num Pages: 192 pages, tables & charts. BIC Classification: HPL. Category: (UU) Undergraduate. Dimension: 238 x 159 x 19. Weight in Grams: 438.
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 proof is extended at the step from truth functions to the logic of nonoverlapping quantifiers with a single variable, after ... Read more
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 proof is extended at the step from truth functions to the logic of nonoverlapping quantifiers with a single variable, after ... Read more
Product Details
Publisher
Hackett Publishing Co, Inc United States
Number of pages
172
Format
Hardback
Publication date
2006
Condition
New
Weight
432g
Number of Pages
192
Place of Publication
Cambridge, MA, United States
ISBN
9780872208131
SKU
V9780872208131
Shipping Time
Usually ships in 5 to 9 working days
Ref
99-2
About Richard C. Jeffrey
Richard Jeffrey (1926-2002) was Professor of Philosophy, Princeton University.
Reviews for Formal Logic