Volume 1 describes methods for classical logic, first-order logic with equality and other theories, and induction.
Volume 1 presents techniques for traditional logic, first-order logic with equality and other methodologies, and inference.