Logic Colloquium <1997, Leeds, England>, Cooper, S. B., & Truss, J. K. (1999). Models and computability: Invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press. https://doi.org/10.1017/CBO9780511565670
Chicago-Zitierstil (17. Ausg.)Logic Colloquium <1997, Leeds, England>, S. B. Cooper, und J. K. Truss. Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge: Cambridge University Press, 1999. https://doi.org/10.1017/CBO9780511565670.
MLA-Zitierstil (9. Ausg.)Logic Colloquium <1997, Leeds, England>, et al. Models and Computability: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press, 1999. https://doi.org/10.1017/CBO9780511565670.