MRG home page · Research · Publications · Projects · Software · People

MRG Mini-Library


We have a small shared collection of reference and programming books for people to use when in the office. The purpose of these is to provide helpful off-line references, for instance to read while having coffee. In order to distinguish these books from people's personal libraries they will have a sticker on them reading:

"Property of Dreamers, CISA. Please keep me in the lab."

So that everyone can use them it would be helpful if they were kept around the lab rather than taken home. If you have suggestions for useful reference books, please suggest it to Lucas Dixon (Rm. 6.08, lucas.dixon @ ed.ac.uk). Contributions are also very welcome!

Books in the Collection:

The books we currently have available are as follows:

Books Waiting to be Purchased/Donated:

Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the DReaM Support Team
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.