The set text for the AR module is "The computer modelling of mathematical reasoning" by Alan Bundy. Unfortunately, like all books, this contains errors. Some of these have been spotted and are listed in the pages below. There are two versions of the book. Version 1 corresponds to the first (1983), second (1985) and third (1985) printings. Version 2 corresponds to the fourth printing with corrections (1986). There are separate errata pages for each version. There are also two versions of each errata page: one containing only the major errors and one containing all the fiddly little typos as well. My thanks are due to Pete Madden and Helen Lowe for preparing these errata pages. I am very interested in discovering errors not listed below. Please let me know (bundy@dai.ed.ac.uk) if you find any.
a.bundy@ed.ac.uk