This volume provides an extensive treatment of Natural Deduction and related