C9BD1153-717D-44B9-B68D-BE3BB0BE7C10The Integration and Interaction of Multiple Mathematical Reasoning ProcessesResearch GrantEP/N014758/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL1304454D5A3A344-DC00-46CD-9777-C17F4CC88226Proof Technology in Mathematics Research and Teaching6fe56d82d1c0526f625573cadcb0eb55Bundy A2019-01-01A Common Type of Rigorous Proof that Resists Hilbert's ProgrammeBook Chapter5c7516730103b4.42454856