Offers a system of natural deduction that approximates to the principles of everyday reasoning. The system is developed in a step-by-step fashion with strategies and suggestions for approaching formal proofs. There are also partial truth tables and truth trees for propositional and predicate logic.
"synopsis" may belong to another edition of this title.
US$ 10.99 shipping from Canada to U.S.A.
Destination, rates & speedsSeller: The Bookseller, Edmonton, AB, Canada
Soft cover. Condition: Very Good. No Jacket. Minor shelf wear. Otherwise a square, tight, unmarked book. Index. xv, 448 pp. Seller Inventory # 045737
Quantity: 1 available