Automated Reasoning: Book

Errata for the set text book.

A copy of the out-of-print book ``Computational Modelling of Mathematical Reasoning'' is available to AI3 and MSc students.

This book is available in 7 parts: thru are the corresponding parts of the book, and is the appendices and index.

Home : Teaching : Courses : Ar : Book 

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