Logic Colloguium Leeds, England, Association for Symbolic Logic, Cooper, S. B., & Truss, J. K. (1999). Sets and proofs: Invited papers from Logic Colloquim '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press.
Παραπομπή σε μορφή Chicago (17η εκδ.)Logic Colloguium Leeds, England, Association for Symbolic Logic, S. B. Cooper, και J. K. Truss. Sets and Proofs: Invited Papers from Logic Colloquim '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambbridge ; New York: Cambridge University Press, 1999.
Παραπομπή σε μορφή MLA (9th εκδ.)Logic Colloguium Leeds, England, et al. Sets and Proofs: Invited Papers from Logic Colloquim '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press, 1999.