Sets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997 - Cooper S Barry Ed; Truss John K Ed (Cambridge Cambridge University Press, 1999)
Includes bibliographical references
Keywords: Logic; Mathematics