Logic: Techniques of Formal Reasoning, Second Edition Textbook

This is the second edition of Logic: Techniques of Formal Reasoning. It's a textbook covering formal reasoning methods. This book would be useful for students studying logic or philosophy.