PEASE, Alison and ABERDEIN, Andrew. Five theories of reasoning: Interconnections and applications to mathematics. Logic and Logical Philosophy. Online. 30 June 2011. Vol. 20, no. 1-2, p. 7–57. [Accessed 24 July 2024]. DOI 10.12775/LLP.2011.002.