Logic Colloquium '97 Leeds, England, Association for Symbolic Logic, Cooper, S. B., & Truss, J. K. (1999). Models and computabilty: Invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press.
Chicago Style (17th ed.) CitationLogic Colloquium '97 Leeds, England, Association for Symbolic Logic, S. B. Cooper, and J. K. Truss. Models and Computabilty: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. New York: Cambridge University Press, 1999.
MLA (9th ed.) CitationLogic Colloquium '97 Leeds, England, et al. Models and Computabilty: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press, 1999.