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... This description may be from another edition of this product.