Volume 1 describes methods for classical logic, first-order logic with equality and other theories, and induction.
Volume 1 outlines approaches to traditional logic, first-order logic with identity and other frameworks, and deduction.