Logic Colloquium Leeds, England, Association for Symbolic Logic, 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. Cambridge University Press.
Cita Chicago Style (17a ed.)Logic Colloquium Leeds, England, Association for Symbolic Logic, S. B. Cooper, y J. K. Truss. Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge ; New York: Cambridge University Press, 1999.
Cita MLA (8a ed.)Logic Colloquium Leeds, England, et al. Sets and Proofs: Invited Papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Cambridge University Press, 1999.