""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 concise explanation of the principles of natural deduction, including the use of...