Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. ISBN 0521635500. Published by Cambridge University Press in 1999. Publication and catalogue information, links to buy online and reader comments.