Models and computabilty : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss. - Cooper, S. B. (S. Barry); Truss, J. K. (London Mathematical Society lecture note series ;, 1999)