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