Computer Modelling of Mathematical Reasoning Book

A new digital edition© 2010 of the out-of-print book Computational Modelling of Mathematical Reasoning by Alan Bundy is now available. This edition incorporates the errata that were distributed separately in the previous online version of the book.

Home : Teaching : Courses : Ar 

Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail:
Please contact our webadmin with any comments or corrections. Logging and Cookies
Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh