Sets and proofs
Subtitle: invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
By: edited by S. Barry Cooper, John K. Truss.
Contributors: Cooper, S. B.; Truss, J. K.; Association for Symbolic Logic.
Series: London Mathematical Society lecture note series ;; 258
Publisher: Cambridge University Press
Published: 1999
Place of publication: Cambridge; New York
Language: eng
Number of pages: 436
Subjects: Set theory -- Congresses.; Proof theory -- Congresses.
Notes: Includes bibliographical references.