Describir: FIVE THEORIES OF REASONING: Interconnections and applications to mathematics.