I've tried to pick books which interested/motivated me as a student. The list is obviously incomplete and unfortunately some of the best books I read are now out of print. However, the main library has copies of all the books listed below. I'll be adding to this list when 1) I have time 2) when I finish another book which is worth including (I'm still a student myself).
If you've read a book which you think should be listed then please email me - I'd be very happy to hear from you.
Unfortunately this book appears not to be in print but you can buy it second hand from Amazon and there's one copy in the Main Library (classmark QA 76.55/H). Large city libraries might also have a copy.
Douglas R. Hofstadter Godel, Escher, Bach: An Eternal Golden Braid (1979) Penguin
This book is a classic and is probably required reading for any Computer Scientist. Hofstadter weaves a conceptual rug which combines the mathematical and philosophical insights of Kurt Godel with the paradoxical etchings of Escher and the music of J.S. Bach to communicate a deep and intricate view of what constitutes computer science. Some students might be put off by the book's size - it's a fairly dense 800 page work but Hofstadter is a very funny and charming writer. I'd recommend this book as a reading challange for any student over the summer holidays.
This book should be available in any large bookshop and there are lots of cheap second hand copies on Amazon. Apparently the 1994 edition is better than the latest 2000 edition in terms of print quality. The Main Library has quite a few copies (class mark BC 135/H)
Raymond M. Smullyan
What Is the Name of This Book?: The Riddle of Dracula and Other Logical Puzzles (1978)
The Lady or the Tiger?: And Other Logic Puzzles (1988)
To Mock a Mockingbird: And Other Logic Puzzles (2000) (All published by Penguin)
Raymond M. Smullyan is an American logician who has published 15 or so popular science logic books. I've only read the above but found them to be consistantly excellent. Each book consists of puzzles followed by discussion and Smullyan is brilliant at teaching difficult logic concepts using puzzles which gradually require more and more cunning.
You can find quite a few of his books in the main library under the classmarks QA 9 & B3436.
There are a lot of very cheap second hand copies of this book on Amazon and our Main Library has a copy at B 839.5/H
The Main Library has just one copy of this book - it's at BC 177.
(Last updated 12th March 2008 by mgl)