Statistics for A History of natural deduction and elementary logic textbooks