Association for Symbolic Logic, London Mathematical Society, Logic Colloquium '97, Cooper, S. B., & Truss, J. K. (1999). Sets and proofs : 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: Invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press.
Chicago Style (17th ed.) CitationAssociation for Symbolic Logic, London Mathematical Society, Logic Colloquium '97, S. B. Cooper, and J. K. Truss. Sets and Proofs : 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: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge: Cambridge University Press, 1999.
MLA (9th ed.) CitationAssociation for Symbolic Logic, et al. Sets and Proofs : 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: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press, 1999.