2134/17434 Chris Sangwin Chris Sangwin An audited elementary algebra Loughborough University 2015 untagged 2015-05-06 15:44:54 Journal contribution https://repository.lboro.ac.uk/articles/journal_contribution/An_audited_elementary_algebra/9368204 An audited elementary algebra