""Natural Deduction: The Logical Basis Of Axiom Systems"" by Anderson and Mueller is a comprehensive introduction to the natural deduction method of proof in logic. The book presents a clear and... This description may be from another edition of this product.