Pease, A., & Aberdein, A. (2011). Five theories of reasoning: Interconnections and applications to mathematics. Logic and Logical Philosophy, 20(1-2), 7–57. https://doi.org/10.12775/LLP.2011.002