Conditionals, quantification, and strong mathematical induction Daniel H. Cohen OriginalPaper Pages: 315 - 326